cmake_modules/FindGMP.cmake
changeset 9234 2bf3796c5855
parent 9195 e653e96b0ec3
parent 9233 a6ae0286787c
child 9235 1c1580c37876
--- a/cmake_modules/FindGMP.cmake	Mon Jun 17 10:48:50 2013 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,17 +0,0 @@
-FIND_PATH(GMP_INCLUDE_DIR gmp.h)
-
-FIND_LIBRARY(GMP_LIBRARY NAMES GMP gmp)
-
-IF (GMP_INCLUDE_DIR AND GMP_LIBRARY)
-   SET(GMP_FOUND TRUE)
-   ENDIF (GMP_INCLUDE_DIR AND GMP_LIBRARY)
-
-   IF (GMP_FOUND)
-      IF (NOT GMP_FIND_QUIETLY)
-            MESSAGE(STATUS "Found GMP: ${GMP_LIBRARY}")
-      ENDIF (NOT GMP_FIND_QUIETLY)
-   ELSE (GMP_FOUND)
-   IF (GMP_FIND_REQUIRED)
-      MESSAGE(FATAL_ERROR "Could not find GMP")
-   ENDIF (GMP_FIND_REQUIRED)
-ENDIF (GMP_FOUND)