haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-03-04 16:04:36 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Expect test failures for what4 - since cvc5 is not available (GaloisInc/what4#262).

Browse Source
This commit is contained in:
Andreas Ländle 2024-05-21 18:29:01 +02:00
parent a40efa3640
commit 5ab2e7cb06
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build-constraints.yaml
View File

@ -9340,6 +9340,7 @@ expected-test-failures:
- web3 # requires running server - web3 # requires running server
- webdriver-angular # webdriver server - webdriver-angular # webdriver server
- websockets - websockets
- what4 # Missing cvc4 and cvc5 - cvc5 is not available for ubuntu 22.04 https://github.com/GaloisInc/what4/issues/262
# Missing test files in sdist # Missing test files in sdist
# #

1
docker/02-apt-get-install.sh
View File

@ -18,7 +18,6 @@ apt-get install -y \
cmake \ cmake \
coinor-libclp-dev \ coinor-libclp-dev \
curl \ curl \
cvc5 \
dvipng \ dvipng \
freeglut3-dev \ freeglut3-dev \
freetds-dev \ freetds-dev \