diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-08-09 08:13:39 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-09 08:13:39 -0700 |
| commit | 4e61cff7eb7fa26323f36e2784b252a869c210d9 (patch) | |
| tree | 0ebacb956fb41b51b64441d5418b77bfaebdb20d /.github | |
| parent | c8bc4881d4f3bf54258b0f01280fbda23a1dd651 (diff) | |
Support older CMake versions (#7003)
Fixes #7001. Commit c8bc488 introduced the use
of list(PREPEND ...) which was only introduced in version 3.15. We require
CMake 3.9 or later and this commit makes our build system compatible with older
CMake versions again. It also changes our CI to have two builds with Ubuntu
18.04 and two builds with Ubuntu 20.04 to better cover different versions of
build tools (including CMake 3.10).
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2a41efb59..166003d69 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -26,7 +26,7 @@ jobs: run_regression_args: --no-check-unsat-cores --no-check-proofs - name: ubuntu:production-clang - os: ubuntu-latest + os: ubuntu-18.04 env: CC=clang CXX=clang++ config: production --auto-download cache-key: productionclang @@ -35,7 +35,7 @@ jobs: run_regression_args: --no-check-unsat-cores --no-check-proofs - name: ubuntu:production-dbg - os: ubuntu-latest + os: ubuntu-18.04 config: production --auto-download --assertions --tracing --unit-testing --editline cache-key: dbg exclude_regress: 3-4 |