diff options
Diffstat (limited to 'cmake/FindCaDiCaL.cmake')
-rw-r--r-- | cmake/FindCaDiCaL.cmake | 2 |
1 files changed, 1 insertions, 1 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) |