Commit d741c262 authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

Switch to Docker for CI/deploy

parent 713d0b1f
.git
\ No newline at end of file
before_script:
- . $HOME/.opam/opam-init/variables.sh
stages:
- init
- bench
- deploy
ci-bench:
variables:
DEPLOY_TAG: registry.gitlab.inria.fr/why3/why3:latest
init:
stage: init
script:
- docker build -t bench-image -f misc/Dockerfile.init .
bench:
stage: bench
script:
- docker run -t bench-image misc/ci-bench.sh
deploy:
stage: deploy
script:
- misc/ci-bench.sh
- docker login -u gitlab-ci-token -p $CI_JOB_TOKEN registry.gitlab.inria.fr
- docker build -t deploy-image -f misc/Dockerfile.deploy .
- docker tag deploy-image $DEPLOY_TAG
- docker push $DEPLOY_TAG
only:
- master
\ No newline at end of file
FROM bench-image
RUN eval `opam config env` && \
autoconf && \
(automake --add-missing 2> /dev/null || true) && \
./configure && \
make -j2
USER root
RUN make install
RUN sudo adduser --disabled-password --gecos '' guest
USER guest
ENV HOME /home/guest
WORKDIR /home/guest
RUN why3 config --detect
FROM ocaml/ocaml:debian-stable
# install dependencies
RUN apt-get update && \
apt-get install -y autoconf automake wget libgmp-dev gtk+-2.0 libgtksourceview2.0-dev gnome-themes-standard libcanberra-gtk-module opam
#create user
RUN sudo adduser --disabled-password --gecos '' why3
USER why3
ENV HOME /home/why3
WORKDIR /home/why3
RUN opam init -a -y -j2
RUN opam install -y menhir lablgtk ocamlgraph zarith camlzip
# Alt-Ergo
RUN opam install alt-ergo.1.30
# copy Why3 sources
COPY --chown=why3:why3 . why3
WORKDIR /home/why3/why3
......@@ -13,6 +13,7 @@
# opam install menhir alt-ergo
set -e
eval `opam config env`
# configuration
autoconf
......
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