From 981bb50f72a96d6800f5d28d7701c945b50bb087 Mon Sep 17 00:00:00 2001 From: yperbasis Date: Mon, 31 Aug 2020 21:35:40 +0200 Subject: [PATCH] Allow use of MPIR instead of GMP --- CMakeLists.txt | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 0c8136bd..c952eba5 100755 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -87,6 +87,12 @@ option( ON ) +option( + MPIR_INSTEAD_OF_GMP + "Use MPIR instead of GMP" + OFF +) + if(CMAKE_COMPILER_IS_GNUCXX OR "${CMAKE_CXX_COMPILER_ID}" STREQUAL "Clang") # Common compilation flags and warning configuration set( @@ -99,7 +105,11 @@ if(CMAKE_COMPILER_IS_GNUCXX OR "${CMAKE_CXX_COMPILER_ID}" STREQUAL "Clang") endif() find_path(GMP_INCLUDE_DIR NAMES gmp.h) -find_library(GMP_LIBRARY gmp) +if(MPIR_INSTEAD_OF_GMP) + find_library(GMP_LIBRARY mpir) +else() + find_library(GMP_LIBRARY gmp) +endif() if(GMP_LIBRARY MATCHES ${CMAKE_SHARED_LIBRARY_SUFFIX}) set(gmp_library_type SHARED) else()