From 240b8fb52cf6b4fa72847110b86c92c2b81ee404 Mon Sep 17 00:00:00 2001 From: Pierre-Yves Strub Date: Fri, 20 Feb 2026 17:22:44 +0100 Subject: [PATCH] [docker]: bump provers versions - bump already installed provers to their last subsubminor - add CVC5 1.0.x 1.1.x 1.2.x 1.3.x --- scripts/docker/Dockerfile.build | 23 ++++++++++++++++++++++- 1 file changed, 22 insertions(+), 1 deletion(-) diff --git a/scripts/docker/Dockerfile.build b/scripts/docker/Dockerfile.build index d3d9ec7764..8c3c2c065f 100644 --- a/scripts/docker/Dockerfile.build +++ b/scripts/docker/Dockerfile.build @@ -16,7 +16,7 @@ COPY --chmod=0755 --chown=1001:0 docker-parts/alt-ergo bin/run-alt-ergo ENV PATH="/home/charlie/bin:$PATH" RUN \ - version=2.6.0 && \ + version=2.6.2 && \ opam switch create --no-switch alt-ergo-${version} ocaml-system && \ opam pin --switch=alt-ergo-${version} add -n alt-ergo ${version} && \ opam install --switch=alt-ergo-${version} --deps-only --confirm-level=unsafe-yes alt-ergo && \ @@ -50,6 +50,27 @@ RUN \ sudo install -m 0755 cvc4 /usr/local/bin/cvc4-${version} && \ rm -f cvc4 +RUN \ + version=1.3.2 && \ + wget -O cvc5.zip https://github.com/cvc5/cvc5/releases/download/cvc5-1.3.2/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 && \ + 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 && \ + unzip -j cvc5.zip cvc5-Linux-static/bin/cvc5 && \ + sudo install -m 0755 cvc5 /usr/local/bin/cvc5-${version} && \ + rm -f cvc5 cvc5.zip + RUN \ version=1.0.9 && \ wget -O cvc5 https://github.com/cvc5/cvc5/releases/download/cvc5-${version}/cvc5-Linux && \