diff options
| -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) |