From c4724dc366f2bcd2dce738fe9f34c5af1f677b6d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= Date: Fri, 8 May 2026 13:12:17 +0100 Subject: [PATCH] update all CVC5 versions --- scripts/docker/Dockerfile.build | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/docker/Dockerfile.build b/scripts/docker/Dockerfile.build index 0a979ed2c..b7ea75811 100644 --- a/scripts/docker/Dockerfile.build +++ b/scripts/docker/Dockerfile.build @@ -51,22 +51,22 @@ RUN \ rm -f cvc4 RUN \ - version=1.3.3 && \ - wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-1.3.2/cvc5-Linux-x86_64-libcxx-static.zip && \ + version=1.3.4 && \ + wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-${version}/cvc5-Linux-x86_64-libcxx-static.zip && \ unzip -j cvc5.zip cvc5-Linux-x86_64-libcxx-static/bin/cvc5 && \ sudo install -m 0755 cvc5 /usr/local/bin/cvc5-${version} && \ rm -f cvc5 cvc5.zip RUN \ version=1.2.1 && \ - wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-1.2.1/cvc5-Linux-x86_64-static.zip && \ + wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-${version}/cvc5-Linux-x86_64-static.zip && \ unzip -j cvc5.zip cvc5-Linux-x86_64-static/bin/cvc5 && \ sudo install -m 0755 cvc5 /usr/local/bin/cvc5-${version} && \ rm -f cvc5 cvc5.zip RUN \ version=1.1.2 && \ - wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.2/cvc5-Linux-static.zip && \ + wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-${version}/cvc5-Linux-static.zip && \ unzip -j cvc5.zip cvc5-Linux-static/bin/cvc5 && \ sudo install -m 0755 cvc5 /usr/local/bin/cvc5-${version} && \ rm -f cvc5 cvc5.zip