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

docker image: include cvc5 in the future for what4 testsuite

Browse Source 
https://github.com/GaloisInc/what4/issues/262

[skip ci]
This commit is contained in:
Jens Petersen 2024-05-15 00:12:45 +08:00
parent 3e386f2b58
commit 50279cbf17
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -18,6 +18,7 @@ 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 \