cmake: Add more documentation, some fixes and cleanup.
[cvc5.git] / cmake / FindGMP.cmake
1 # Find GMP
2 # GMP_FOUND - system has GMP lib
3 # GMP_INCLUDE_DIR - the GMP include directory
4 # GMP_LIBRARIES - Libraries needed to use GMP
5
6
7 # Check default location of GMP built with contrib/get-gmp.
8 # If the user provides a directory we will not search the default paths and
9 # fail if GMP was not found in the specified directory.
10 if(NOT GMP_HOME)
11 set(GMP_HOME ${PROJECT_SOURCE_DIR}/gmp-6.1.2)
12 set(CHECK_SYSTEM_VERSION TRUE)
13 endif()
14
15 find_path(GMP_INCLUDE_DIR
16 NAMES gmp.h gmpxx.h
17 PATHS ${GMP_HOME}/include
18 NO_DEFAULT_PATH)
19 find_library(GMP_LIBRARIES
20 NAMES gmp
21 PATHS ${GMP_HOME}/lib
22 NO_DEFAULT_PATH)
23
24 if(CHECK_SYSTEM_VERSION)
25 find_path(GMP_INCLUDE_DIR NAMES gmp.h gmpxx.h)
26 find_library(GMP_LIBRARIES NAMES gmp)
27 endif()
28
29 include(FindPackageHandleStandardArgs)
30 find_package_handle_standard_args(GMP DEFAULT_MSG GMP_INCLUDE_DIR GMP_LIBRARIES)
31
32 mark_as_advanced(GMP_INCLUDE_DIR GMP_LIBRARIES)