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 ce70c52927674e0c5721af5ed4a6913b7263507a..2fe65cf8b04f13eb38b3ca653f97419f1db3fd73 100644 (file)
--- 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 2f779abc09ebe36d155f9c1b0a46789a0fd00113..65191156aea01174dd06115fd9a34ff5a89ed494 100644 (file)
--- 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)