projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7ec3005)
Only require GMP 6.1 (#6332)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 12 Apr 2021 20:19:22 +0000 (22:19 +0200)
committerGitHub <noreply@github.com>
Mon, 12 Apr 2021 20:19:22 +0000 (20:19 +0000)
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.

CMakeLists.txt patch | blob | history

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 193a22ba89b30700138a34cbdf4a6159d8f973f0..b0a8444919c09397e4c24f14c7080f4d78752bbc 100644 (file)
--- 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,