axe cross-compiler

.gitignore

@@ -126,9 +126,9 @@ packages/swi-minisat2/˜:ilp
 packages/cplint/L
 
 packages/CLPBN/horus/hcli
-
+tmp
 packages/bdd/simplecudd/problogbdd
-
+trace
 packages/bdd/cudd_config.h
 Makefile
 build
@@ -146,7 +146,7 @@ Qt
 cmake/cmake-android
 sublime
 yap-6.3.workspace
-yap-6.3-geany
+yap-6.3.geany
 YAP.project
 CBlocks
 *.tmp

cmake/FindGMP.cmake

@@ -13,7 +13,7 @@ find_path(GMP_INCLUDE_DIRS NAMES gmp.h
           DOC "The gmp include directory"
 )
 
-if(WIN32)
+if(MVC)
   if(CMAKE_BUILD_TYPE STREQUAL "Debug" AND MSVC)
 	set(MPIR_LIB "mpird")
   else()
@@ -28,11 +28,18 @@ if(WIN32)
 				PATHS "$ENV{PROGRAMFILES}/mpir/bin"
 				DOC "The MPIR library DLL"
   )
-else(WIN32)
-  find_library(GMP_LIBRARIES NAMES gmp
+else(MVC)
+  find_library(GMP_LIBRARIES  NAMES gmp
+                PATHS "{CMAKE_INSTALL_PREFIX}/lib"
                 DOC "The GMP library"
   )
-endif(WIN32)
+  if(WIN32)
+   find_library(GMP_LIBRARY_DLL NAMES gmp
+				PATHS "{CMAKE_INSTALL_PREFIX}/bin"
+				DOC "The GMP library DLL"
+   )
+  endif()
+endif(MVC)
 
 get_filename_component(GMP_LIBRARIES_DIR "${GMP_LIBRARIES}" PATH)