From: Gereon Kremer <nafur42@gmail.com>
Date: Thu, 1 Jul 2021 17:34:56 +0000 (+0200)
Subject: Fix message to show that cadical and symfpu are required (#6823)
X-Git-Tag: cvc5-1.0.0~1538
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c2a5fcf1ae85d007bccd8fa294a7b66287972c65;p=cvc5.git

Fix message to show that cadical and symfpu are required (#6823)

As mentioned in #6822, we are currently printing an incorrect message if CaDiCaL or SymFPU are not found but auto-download is disabled. This PR fixes this issue.
---

diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake
index ce70c5292..2fe65cf8b 100644
--- a/cmake/FindCaDiCaL.cmake
+++ b/cmake/FindCaDiCaL.cmake
@@ -41,7 +41,7 @@ endif()
 if(NOT CaDiCaL_FOUND_SYSTEM)
   check_ep_downloaded("CaDiCaL-EP")
   if(NOT CaDiCaL-EP_DOWNLOADED)
-    check_auto_download("CaDiCaL" "--no-cadical")
+    check_auto_download("CaDiCaL" "")
   endif()
 
   include(CheckSymbolExists)
diff --git a/cmake/FindSymFPU.cmake b/cmake/FindSymFPU.cmake
index 2f779abc0..65191156a 100644
--- a/cmake/FindSymFPU.cmake
+++ b/cmake/FindSymFPU.cmake
@@ -26,7 +26,7 @@ endif()
 if(NOT SymFPU_FOUND_SYSTEM)
   check_ep_downloaded("SymFPU-EP")
   if(NOT SymFPU-EP_DOWNLOADED)
-    check_auto_download("SymFPU" "--no-symfpu")
+    check_auto_download("SymFPU" "")
   endif()
 
   include(ExternalProject)