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/FindSymFPU.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/FindSymFPU.cmake')
-rw-r--r-- | cmake/FindSymFPU.cmake | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/cmake/FindSymFPU.cmake b/cmake/FindSymFPU.cmake index 47f205961..be5b1eacb 100644 --- a/cmake/FindSymFPU.cmake +++ b/cmake/FindSymFPU.cmake @@ -17,11 +17,14 @@ find_path(SymFPU_INCLUDE_DIR NAMES symfpu/core/unpackedFloat.h) +set(SymFPU_FOUND_SYSTEM FALSE) if(SymFPU_INCLUDE_DIR) # Found SymFPU to be installed system-wide set(SymFPU_FOUND_SYSTEM TRUE) -else() - set(SymFPU_FOUND_SYSTEM FALSE) +endif() + +if(NOT SymFPU_FOUND_SYSTEM) + check_auto_download("SymFPU" "--no-symfpu") include(ExternalProject) include(deps-helper) |