From 4765d1e5a104c1bcf8e6860826a04ecab5b5cdf5 Mon Sep 17 00:00:00 2001 From: Sirui Lu Date: Mon, 10 Feb 2025 12:49:40 -0800 Subject: [PATCH] Update z3 for `grisette` test suite (lsrcz/grisette#287) (#7677) --- build-constraints.yaml | 1 - docker/03-custom-install.sh | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index a6ceede8..b45843e3 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -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 diff --git a/docker/03-custom-install.sh b/docker/03-custom-install.sh index e1493371..34ec1c06 100755 --- a/docker/03-custom-install.sh +++ b/docker/03-custom-install.sh @@ -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 \