haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-11 23:08:30 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Update z3 for grisette test suite (lsrcz/grisette#287) (#7677)

Browse Source
This commit is contained in:
Sirui Lu 2025-02-10 12:49:40 -08:00 committed by GitHub
parent 4eea80b95a
commit 4765d1e5a1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build-constraints.yaml
View File

@ -8579,7 +8579,6 @@ expected-test-failures:
- foldl-statistics # https://github.com/data61/foldl-statistics/issues/2
- friday # https://github.com/RaphaelJ/friday/issues/37
- fsnotify # Often runs out of inotify handles
- grisette # 0.11.0.0 https://github.com/lsrcz/grisette/issues/287
- hastache
- hedn
- ihaskell # https://github.com/gibiansky/IHaskell/issues/551

2
docker/03-custom-install.sh
View File

@ -76,7 +76,7 @@ add-apt-repository "deb https://packages.confluent.io/deb/5.2 stable main"
apt-get update && apt install -y librdkafka-dev
# Install z3, for grisette test suite
Z3_VER=4.12.4
Z3_VER=4.13.4
(
cd /usr/local \
&& wget https://github.com/Z3Prover/z3/releases/download/z3-${Z3_VER}/z3-${Z3_VER}-x64-glibc-2.35.zip \