diff options
Diffstat (limited to 'cmake/FindGMP.cmake')
-rw-r--r-- | cmake/FindGMP.cmake | 24 |
1 files changed, 2 insertions, 22 deletions
diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake index 8125a583b..08cee9690 100644 --- a/cmake/FindGMP.cmake +++ b/cmake/FindGMP.cmake @@ -3,28 +3,8 @@ # GMP_INCLUDE_DIR - the GMP include directory # GMP_LIBRARIES - Libraries needed to use GMP - -# Check default location of GMP built with contrib/get-gmp. -# If the user provides a directory we will not search the default paths and -# fail if GMP was not found in the specified directory. -if(NOT GMP_HOME) - set(GMP_HOME ${PROJECT_SOURCE_DIR}/gmp-6.1.2) - set(CHECK_SYSTEM_VERSION TRUE) -endif() - -find_path(GMP_INCLUDE_DIR - NAMES gmp.h gmpxx.h - PATHS ${GMP_HOME}/include - NO_DEFAULT_PATH) -find_library(GMP_LIBRARIES - NAMES gmp - PATHS ${GMP_HOME}/lib - NO_DEFAULT_PATH) - -if(CHECK_SYSTEM_VERSION) - find_path(GMP_INCLUDE_DIR NAMES gmp.h gmpxx.h) - find_library(GMP_LIBRARIES NAMES gmp) -endif() +find_path(GMP_INCLUDE_DIR NAMES gmp.h gmpxx.h) +find_library(GMP_LIBRARIES NAMES gmp) include(FindPackageHandleStandardArgs) find_package_handle_standard_args(GMP DEFAULT_MSG GMP_INCLUDE_DIR GMP_LIBRARIES) |