From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Mon, 12 Apr 2021 20:19:22 +0000 (+0200)
Subject: Only require GMP 6.1 (#6332)
X-Git-Tag: cvc5-1.0.0~1924
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c422f03d3169d4dc8d5b333de12be14e9121bc93;p=cvc5.git

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

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,