1 files changed, 0 insertions, 48 deletions
diff --git a/cmake/modules/FindGMPXX.cmake b/cmake/modules/FindGMPXX.cmake
deleted file mode 100644
index dda302c0..00000000
--- a/cmake/modules/FindGMPXX.cmake
+++ /dev/null
@@ -1,48 +0,0 @@
-# - Try to find the GMPXX libraries
-# This module defines:
-#   GMPXX_FOUND        - system has GMPXX lib
-#   GMPXX_INCLUDE_DIR  - the GMPXX include directory
-#   GMPXX_LIBRARIES    - Libraries needed to use GMPXX
-
-# TODO: support Windows and MacOSX
-
-# GMPXX needs GMP
-
-find_package( GMP QUIET )
-
-if(GMP_FOUND)
-
-  if (GMPXX_INCLUDE_DIR AND GMPXX_LIBRARIES)
-    # Already in cache, be silent
-    set(GMPXX_FIND_QUIETLY TRUE)
-  endif()
-
-  find_path(GMPXX_INCLUDE_DIR NAMES gmpxx.h
-            HINTS ENV GMPXX_INC_DIR
-                  ENV GMPXX_DIR
-                  ${GMP_INCLUDE_DIR_SEARCH}
-            PATH_SUFFIXES include
-            DOC "The directory containing the GMPXX include files"
-           )
-
-  find_library(GMPXX_LIBRARIES NAMES gmpxx
-               HINTS ENV GMPXX_LIB_DIR
-                     ENV GMPXX_DIR
-                     ${GMP_LIBRARIES_DIR_SEARCH}
-               PATH_SUFFIXES lib
-               DOC "Path to the GMPXX library"
-               )
-
-  if ( GMPXX_LIBRARIES )
-    get_filename_component(GMPXX_LIBRARIES_DIR ${GMPXX_LIBRARIES} PATH CACHE )
-  endif()
-
-  include(FindPackageHandleStandardArgs)
-
-  find_package_handle_standard_args(GMPXX "DEFAULT_MSG" GMPXX_LIBRARIES GMPXX_INCLUDE_DIR )
-
-else()
-
-  message( FATAL_ERROR "GMPXX needs GMP")
-
-endif()