diff options
-rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 193a22ba8..b0a844491 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -325,7 +325,7 @@ else() find_package(PythonInterp 3 REQUIRED) endif() -find_package(GMP 6.2 REQUIRED) +find_package(GMP 6.1 REQUIRED) if(ENABLE_ASAN) # -fsanitize=address requires CMAKE_REQUIRED_FLAGS to be explicitely set, |