diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-04-21 10:21:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-21 10:21:34 -0700 |
| commit | ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 (patch) | |
| tree | a7c2ab8013f46dbea75fcd6e7da3fb83e2012b2f /.github | |
| parent | 86aa9bc35ba9dc9a57913a2ffc71619c7657cc35 (diff) | |
Goodbye CVC4, hello cvc5! (#6371)
This commits changes the build system to cvc5 and removes the remaining
occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index eeb9db572..d216d07fe 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -196,14 +196,14 @@ jobs: run: | make -j2 install echo -e "#include <cvc5/cvc5.h>\nint main() { cvc5::api::Solver s; return 0; }" > /tmp/test.cpp - g++ -std=c++11 /tmp/test.cpp -I install/include -L install/lib -lcvc4 + g++ -std=c++11 /tmp/test.cpp -I install/include -L install/lib -lcvc5 working-directory: build - name: Python Install Check if: matrix.python-bindings run: | - export PYTHONPATH="$PYTHONPATH:$(dirname $(find build/install/ -name "pycvc4" -type d))" - python3 -c "import pycvc4" + export PYTHONPATH="$PYTHONPATH:$(dirname $(find build/install/ -name "pycvc5" -type d))" + python3 -c "import pycvc5" # Examples are built for non-symfpu builds - name: Check Examples |