diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-09-22 12:13:33 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-22 14:13:33 -0500 |
| commit | 524c879720779abc3bc529459da8734f2eb3e3ad (patch) | |
| tree | 5a14c2502159a646adb7d9be1169110357129b07 /.github | |
| parent | 2e2424a1a8ce19a3c4e357cf491ca027a5d1b4cc (diff) | |
Fix compilation without LibPoly (#5118)
Commit e969318 introduced the ICP-based
solver for nonlinear arithmetic. That code, however, depends on LibPoly.
When configuring CVC4 without LibPoly, the code doesn't compile because
the class ICPSolver is missing. This commit adds a dummy version if
ICPSolver to remedy the issue.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d7909b961..e9c217501 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -23,7 +23,7 @@ jobs: include: - name: production - config: production --all-bindings --lfsc --editline + config: production --all-bindings --lfsc --editline --poly cache-key: production python-bindings: true check-examples: true @@ -44,7 +44,7 @@ jobs: exclude_regress: 1-4 - name: debug-cln - config: debug --symfpu --cln --gpl --no-debug-symbols --no-proofs + config: debug --symfpu --cln --gpl --no-debug-symbols --no-proofs --poly cache-key: debug-cln os: ubuntu-latest exclude_regress: 1-4 @@ -158,7 +158,6 @@ jobs: run: | ${{ matrix.env }} ./configure.sh ${{ matrix.config }} \ --python3 \ - --poly \ --prefix=$(pwd)/build/install \ --unit-testing |