Commit b2dd7d9e authored by Guillaume Melquiond's avatar Guillaume Melquiond

Potentially install extra opam packages when testing, including packages for Coq.

parent 059688e7
......@@ -12,7 +12,7 @@ WORKDIR /home/why3
ARG compiler=system
RUN opam init -a -y -j1 --compiler=$compiler
RUN opam install -y menhir conf-gtksourceview lablgtk ocamlgraph zarith camlzip
RUN opam repository add coq-released https://coq.inria.fr/opam/released
# Alt-Ergo
RUN opam install alt-ergo.1.30
ARG packages
RUN opam install -y menhir conf-gtksourceview lablgtk ocamlgraph zarith camlzip alt-ergo $packages
......@@ -3,8 +3,13 @@
set -e
autoconf && (automake --add-missing 2> /dev/null || true)
docker build -t bench-image-$COMPILER -f misc/Dockerfile.init --build-arg compiler=$COMPILER .
CID=$(docker create --rm -i -w /home/why3/why3 bench-image-$COMPILER /bin/sh)
if test -n "$PACKAGES"; then
IMAGE=bench-image-$COMPILER--$(echo $PACKAGES | sed -e 's/ /--/g')
else
IMAGE=bench-image-$COMPILER
fi
docker build -t $IMAGE -f misc/Dockerfile.init --build-arg compiler=$COMPILER --build-arg packages="$PACKAGES" .
CID=$(docker create --rm -i -w /home/why3/why3 $IMAGE /bin/sh)
docker start $CID
docker cp . $CID:/home/why3/why3
docker exec -u root $CID chown -R why3:why3 /home/why3/why3
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment