X-Git-Url: https://the.earth.li/gitweb/?a=blobdiff_plain;f=cmake%2FFindGMP.cmake;fp=cmake%2FFindGMP.cmake;h=f129e1837ff9f34af6596765d535e8e7e90377bd;hb=c981a80699901eb3d513a4cc9355574a69016037;hp=0000000000000000000000000000000000000000;hpb=6565bed3065d1751abf469da1a85884d9ddde759;p=onak.git

diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake
new file mode 100644
index 0000000..f129e18
--- /dev/null
+++ b/cmake/FindGMP.cmake
@@ -0,0 +1,24 @@
+# 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()