From c2a5fcf1ae85d007bccd8fa294a7b66287972c65 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 1 Jul 2021 19:34:56 +0200 Subject: [PATCH] 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. --- cmake/FindCaDiCaL.cmake | 2 +- cmake/FindSymFPU.cmake | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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) -- 2.30.2