Skip to content

Commit

Permalink
add alt-ergo 2.6 to the docker image
Browse files Browse the repository at this point in the history
  • Loading branch information
fdupress committed Dec 10, 2024
1 parent 93e0545 commit e10cb42
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions scripts/docker/Dockerfile.build
Original file line number Diff line number Diff line change
@@ -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 && \

0 comments on commit e10cb42

Please sign in to comment.