diff -r bcf2f7798ebb -r ddd675825672 cmake_modules/FindGMP.cmake
--- a/cmake_modules/FindGMP.cmake	Mon Jun 17 22:54:17 2013 +0200
+++ /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)