diff options
Diffstat (limited to 'cmake/Modules')
| -rw-r--r-- | cmake/Modules/FindMPLIB.cmake | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/cmake/Modules/FindMPLIB.cmake b/cmake/Modules/FindMPLIB.cmake index 37673b136b..daa381b643 100644 --- a/cmake/Modules/FindMPLIB.cmake +++ b/cmake/Modules/FindMPLIB.cmake @@ -1,7 +1,7 @@ find_package(GMP) -find_package(MPIR) if(GMP_FOUND) + message(STATUS "Using GMP.") set(GR_MPLIB_GMP True) set(MPLIB_DEFINITIONS "-DGR_MPLIB_GMP" ${GMP_DEFINITIONS}) set(MPLIB_INCLUDE_DIR ${GMP_INCLUDE_DIR}) @@ -10,6 +10,9 @@ if(GMP_FOUND) set(MPLIB_PC_ADD_CFLAGS ${GMP_PC_ADD_CFLAGS}) set(MPLIB_PC_ADD_LIBS ${GMP_PC_ADD_LIBS}) else(GMP_FOUND) + message(STATUS "GMP not found; this is not a problem if MPIR can be found.") + find_package(MPIR REQUIRED) + message(STATUS "MPIR found") set(GR_MPLIB_MPIR True) set(MPLIB_DEFINITIONS "-DGR_MPLIB_MPIR" ${MPIR_DEFINITIONS}) set(MPLIB_INCLUDE_DIR ${MPIR_INCLUDE_DIR}) |