--- /dev/null
+# No pkg-config support in GMP, so try and find it manually
+
+set(GMP_PREFIX "" CACHE PATH "path ")
+
+find_path(GMP_INCLUDE_DIR gmp.h gmpxx.h
+ PATHS ${GMP_PREFIX}/include /usr/include /usr/local/include)
+
+find_library(GMP_LIBRARY NAMES gmp libgmp
+ PATHS ${GMP_PREFIX}/lib /usr/lib /usr/local/lib)
+
+if(GMP_INCLUDE_DIR AND GMP_LIBRARY)
+ get_filename_component(GMP_LIBRARY_DIR ${GMP_LIBRARY} PATH)
+ set(GMP_FOUND TRUE)
+endif()
+
+if(GMP_FOUND)
+ if(NOT GMP_FIND_QUIETLY)
+ MESSAGE(STATUS "Found GMP: ${GMP_LIBRARY}")
+ endif()
+elseif(GMP_FOUND)
+ if(GMP_FIND_REQUIRED)
+ message(FATAL_ERROR "Could not find GMP")
+ endif()
+endif()