diff -r 2422ea85d100 -r 2a694ea2a437 cmake_modules/FindGMP.cmake
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cmake_modules/FindGMP.cmake	Fri Oct 02 18:44:37 2009 +0000
@@ -0,0 +1,17 @@
+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)