diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-12 22:19:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-12 20:19:22 +0000 |
commit | c422f03d3169d4dc8d5b333de12be14e9121bc93 (patch) | |
tree | 97b4add4456be136ce13ce65859e876f5cccf601 /CMakeLists.txt | |
parent | 7ec30058750611786b1b597816c8a23e28bb5812 (diff) |
Only require GMP 6.1 (#6332)
The recent refactoring of the dependencies raised the required GMP version to 6.2 for no particular reason. This PR reverts this change to only require GMP 6.1 again.
Diffstat (limited to 'CMakeLists.txt')
-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, |