Commit 9bff58d1 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Make CI build the opam packages.

parent bc3a9095
......@@ -71,6 +71,13 @@ bench-4.06.0:
COMPILER: 4.06.0
<<: *bench_definition
stage: build
- docker build -t bench-image -f misc/Dockerfile.init .
- docker build -t opam-image -f misc/Dockerfile.opam .
- docker run -t --rm opam-image opam pin -v -y add why3-ide .
stage: deploy
......@@ -12,7 +12,7 @@ WORKDIR /home/why3
ARG compiler=system
RUN opam init -a -y -j2 --compiler=$compiler
RUN opam install -y menhir lablgtk ocamlgraph zarith camlzip
RUN opam install -y menhir conf-gtksourceview lablgtk ocamlgraph zarith camlzip
# Alt-Ergo
RUN opam install alt-ergo.1.30
......@@ -20,4 +20,4 @@ RUN opam install alt-ergo.1.30
# copy Why3 sources
COPY --chown=why3:why3 . why3
WORKDIR /home/why3/why3
\ No newline at end of file
WORKDIR /home/why3/why3
FROM bench-image
RUN autoconf && \
(automake --add-missing 2> /dev/null || true)
RUN opam pin -v -y add 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