diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index ec4e539c2..4e1904093 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -30,7 +30,7 @@ else () endif () # GMP -find_package(GMP) +find_package(GMP 5.0.5) set(EXTRA_LIBS ${EXTRA_LIBS} ${GMP_LIBRARIES}) # MPFR