2015-04-12 06:18:48 +02:00
|
|
|
option(ENABLE_SYSTEM_GMP "Use GMP from system" TRUE)
|
|
|
|
mark_as_advanced(GMP_LIBRARY GMP_INCLUDE_DIR)
|
2017-04-02 10:51:50 +02:00
|
|
|
set(USE_SYSTEM_GMP FALSE PARENT_SCOPE)
|
2015-04-12 06:18:48 +02:00
|
|
|
|
|
|
|
if(ENABLE_SYSTEM_GMP)
|
|
|
|
find_library(GMP_LIBRARY NAMES libgmp.so)
|
|
|
|
find_path(GMP_INCLUDE_DIR NAMES gmp.h)
|
|
|
|
|
|
|
|
if(GMP_LIBRARY AND GMP_INCLUDE_DIR)
|
|
|
|
message (STATUS "Using GMP provided by system.")
|
|
|
|
set(USE_SYSTEM_GMP TRUE)
|
2017-04-02 10:51:50 +02:00
|
|
|
set(USE_SYSTEM_GMP TRUE PARENT_SCOPE)
|
2015-04-12 06:18:48 +02:00
|
|
|
else()
|
|
|
|
message (STATUS "Detecting GMP from system failed.")
|
|
|
|
endif()
|
|
|
|
else()
|
|
|
|
message (STATUS "Detecting GMP from system disabled! (ENABLE_SYSTEM_GMP=0)")
|
|
|
|
endif()
|
|
|
|
|
|
|
|
if(NOT USE_SYSTEM_GMP)
|
|
|
|
message(STATUS "Using bundled mini-gmp library.")
|
2017-04-02 10:51:50 +02:00
|
|
|
set(GMP_INCLUDE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/gmp)
|
|
|
|
set(GMP_INCLUDE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/gmp PARENT_SCOPE)
|
2015-04-12 06:18:48 +02:00
|
|
|
set(GMP_LIBRARY gmp)
|
2017-04-02 10:51:50 +02:00
|
|
|
set(GMP_LIBRARY gmp PARENT_SCOPE)
|
2015-04-12 06:18:48 +02:00
|
|
|
add_subdirectory(gmp)
|
|
|
|
endif()
|
|
|
|
|
|
|
|
include(FindPackageHandleStandardArgs)
|
|
|
|
find_package_handle_standard_args(GMP DEFAULT_MSG GMP_LIBRARY GMP_INCLUDE_DIR)
|