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/FindGTest.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/FindGTest.cmake')
-rw-r--r-- | cmake/FindGTest.cmake | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cmake/FindGTest.cmake b/cmake/FindGTest.cmake index 9a758602e..bc12e44ba 100644 --- a/cmake/FindGTest.cmake +++ b/cmake/FindGTest.cmake @@ -25,6 +25,7 @@ if(GTest_INCLUDE_DIR AND GTest_LIBRARIES AND GTest_MAIN_LIBRARIES) endif() if(NOT GTest_FOUND_SYSTEM) + check_auto_download("GTest" "") include(ExternalProject) set(GTest_VERSION "1.10.0") |