1 option(ENABLE_SYSTEM_GMP "Use GMP from system" TRUE)
2 mark_as_advanced(GMP_LIBRARY GMP_INCLUDE_DIR)
3 set(USE_SYSTEM_GMP FALSE PARENT_SCOPE)
6 find_library(GMP_LIBRARY NAMES libgmp.so)
7 find_path(GMP_INCLUDE_DIR NAMES gmp.h)
9 if(GMP_LIBRARY AND GMP_INCLUDE_DIR)
10 message (STATUS "Using GMP provided by system.")
11 set(USE_SYSTEM_GMP TRUE)
12 set(USE_SYSTEM_GMP TRUE PARENT_SCOPE)
14 message (STATUS "Detecting GMP from system failed.")
17 message (STATUS "Detecting GMP from system disabled! (ENABLE_SYSTEM_GMP=0)")
20 if(NOT USE_SYSTEM_GMP)
21 message(STATUS "Using bundled mini-gmp library.")
22 set(GMP_INCLUDE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/gmp)
23 set(GMP_INCLUDE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/gmp PARENT_SCOPE)
25 set(GMP_LIBRARY gmp PARENT_SCOPE)
29 include(FindPackageHandleStandardArgs)
30 find_package_handle_standard_args(GMP DEFAULT_MSG GMP_LIBRARY GMP_INCLUDE_DIR)