From 321a7b67c6d069d1c5706d996740830c1f37eb28 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= Date: Fri, 17 Jul 2026 08:44:37 +0100 Subject: [PATCH] [docker] add z3 5.0.0 to docker environment --- scripts/docker/Dockerfile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/scripts/docker/Dockerfile b/scripts/docker/Dockerfile index fcee4bcb8..a7d0cde40 100644 --- a/scripts/docker/Dockerfile +++ b/scripts/docker/Dockerfile @@ -97,6 +97,13 @@ RUN \ sudo install -m 0755 cvc5 /usr/local/bin/cvc5-${version} && \ rm -f cvc5 +RUN \ + version=5.0.0 && glibc=2.39 && \ + wget -O z3.zip https://github.com/Z3Prover/z3/releases/download/z3-${version}/z3-${version}-x64-glibc-${glibc}.zip && \ + unzip -j z3.zip z3-${version}-x64-glibc-${glibc}/bin/z3 && \ + sudo install -m 0755 z3 /usr/local/bin/z3-${version} && \ + rm -f z3 z3.zip + RUN \ version=4.16.0 && glibc=2.39 && \ wget -O z3.zip https://github.com/Z3Prover/z3/releases/download/z3-${version}/z3-${version}-x64-glibc-${glibc}.zip && \