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 | |
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.
-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, |