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 /.github | |
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 '.github')
-rw-r--r-- | .github/workflows/ci.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f3800308b..eeb9db572 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -23,7 +23,7 @@ jobs: include: - name: production - config: production --all-bindings --editline --poly --symfpu + config: production --auto-download --all-bindings --editline cache-key: production python-bindings: true check-examples: true @@ -31,7 +31,7 @@ jobs: run_regression_args: --no-check-unsat-cores --no-check-proofs - name: production-clang - config: production + config: production --auto-download cache-key: productionclang check-examples: true env: CC=clang CXX=clang++ @@ -40,14 +40,14 @@ jobs: run_regression_args: --no-check-unsat-cores --no-check-proofs - name: production-dbg - config: production --assertions --tracing --unit-testing --symfpu --editline + config: production --auto-download --assertions --tracing --unit-testing --editline cache-key: dbg os: ubuntu-latest exclude_regress: 3-4 run_regression_args: --no-check-unsat-cores - name: production-dbg-clang - config: production --assertions --tracing --unit-testing --symfpu --cln --gpl --poly + config: production --auto-download --assertions --tracing --unit-testing --cln --gpl cache-key: dbgclang env: CC=clang CXX=clang++ os: ubuntu-latest |