2 option(ENABLE_SYSTEM_GMP "Use GMP from system" TRUE)
3 mark_as_advanced(GMP_LIBRARY GMP_INCLUDE_DIR)
4 set(USE_SYSTEM_GMP FALSE)
7 find_library(GMP_LIBRARY NAMES libgmp.so)
8 find_path(GMP_INCLUDE_DIR NAMES gmp.h)
10 if(GMP_LIBRARY AND GMP_INCLUDE_DIR)
11 message (STATUS "Using GMP provided by system.")
12 set(USE_SYSTEM_GMP TRUE)
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 ${PROJECT_SOURCE_DIR}/gmp)
27 include(FindPackageHandleStandardArgs)
28 find_package_handle_standard_args(GMP DEFAULT_MSG GMP_LIBRARY GMP_INCLUDE_DIR)