diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-07-01 19:34:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-01 17:34:56 +0000 |
| commit | c2a5fcf1ae85d007bccd8fa294a7b66287972c65 (patch) | |
| tree | 577d40e6e6b9feb2ab796534781a01ce1a128533 /cmake | |
| parent | bdf46b42d6bd66121a5b5175a81408cd64d7ecfa (diff) | |
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.
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/FindCaDiCaL.cmake | 2 | ||||
| -rw-r--r-- | 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) |