diff options
author | Gereon Kremer <gkremer@stanford.edu> | 2021-04-16 13:06:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-16 11:06:40 +0000 |
commit | 87bc1447d59e36410feab768ea2bbb577e58fb7b (patch) | |
tree | f4b53d672c94eb538e07193a1fcd7134767773d6 /cmake/FindGMP.cmake | |
parent | 7cae3947227391313d93fa1e2ef7bfb4e9e3986d (diff) |
Refactor cmake: auto-download and default-on dependencies (#6355)
This PR changes a few things in how dependencies are handled during configuration:
- --x-dir are removed for most dependencies, use the generic --dep-path instead
- the cmake ENABLE_AUTO_DOWNLOAD determines whether we attempt to download missing dependencies ourselves
- external projects check this option and send an error if it is OFF
- some optional dependencies are enabled by default (CaDiCaL, Poly, SymFPU)
This will essentially fail every call to ./configure.sh until the user specifies --auto-download.
Diffstat (limited to 'cmake/FindGMP.cmake')
-rw-r--r-- | cmake/FindGMP.cmake | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cmake/FindGMP.cmake b/cmake/FindGMP.cmake index 6596e4245..f5447f95d 100644 --- a/cmake/FindGMP.cmake +++ b/cmake/FindGMP.cmake @@ -43,6 +43,7 @@ if(GMP_INCLUDE_DIR AND GMP_LIBRARIES) endif() if(NOT GMP_FOUND_SYSTEM) + check_auto_download("GMP" "") include(ExternalProject) set(GMP_VERSION "6.2.1") |