From 73c3ee2c3bbe19ce7aedf1629d14977d5ba0bc6e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Dupressoir?= Date: Fri, 29 Nov 2024 10:43:01 +0000 Subject: [PATCH] add alt-ergo 2.6 to the docker image --- scripts/docker/Dockerfile.build | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/scripts/docker/Dockerfile.build b/scripts/docker/Dockerfile.build index 4632cbec33..81c259f9f4 100644 --- a/scripts/docker/Dockerfile.build +++ b/scripts/docker/Dockerfile.build @@ -15,6 +15,15 @@ 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 && \ + 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 && \ + opam install --switch=alt-ergo-${version} alt-ergo && \ + opam clean --switch=alt-ergo-${version} && \ + ln -s run-alt-ergo ~/bin/alt-ergo-${version} + RUN \ version=2.5.4 && \ opam switch create --no-switch alt-ergo-${version} ocaml-system && \