Commit 06fa680e authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

Add build tests for different versions of Ocaml

parent 332f8a72
stages:
- init
- bench
- build
- test
- deploy
variables:
......@@ -11,10 +12,93 @@ init:
script:
- docker build -t bench-image -f misc/Dockerfile.init .
.init_template: &init_definition
stage: init
script:
- docker build -t bench-image-$COMPILER -f misc/Dockerfile.init --build-arg compiler=$COMPILER .
init-4.03.0:
variables:
COMPILER: 4.03.0
<<: *init_definition
init-4.04.0:
variables:
COMPILER: 4.04.0
<<: *init_definition
init-4.05.0:
variables:
COMPILER: 4.05.0
<<: *init_definition
init-4.06.0:
variables:
COMPILER: 4.06.0
<<: *init_definition
build:
stage: build
script:
- docker run -t --rm bench-image misc/build.sh
.build_template: &build_definition
stage: build
script:
- docker run -t --rm bench-image-$COMPILER misc/build.sh
build-4.03.0:
variables:
COMPILER: 4.03.0
<<: *build_definition
build-4.04.0:
variables:
COMPILER: 4.04.0
<<: *build_definition
build-4.05.0:
variables:
COMPILER: 4.05.0
<<: *build_definition
build-4.06.0:
variables:
COMPILER: 4.06.0
<<: *build_definition
bench:
stage: bench
stage: test
script:
- docker run -t --rm bench-image misc/ci-bench.sh
.bench_template: &bench_definition
stage: test
script:
- docker run -t bench-image misc/ci-bench.sh
- docker run -t --rm bench-image-$COMPILER misc/ci-bench.sh
only:
- tags
- schedules
bench-4.03.0:
variables:
COMPILER: 4.03.0
<<: *bench_definition
bench-4.04.0:
variables:
COMPILER: 4.04.0
<<: *bench_definition
bench-4.05.0:
variables:
COMPILER: 4.05.0
<<: *bench_definition
bench-4.06.0:
variables:
COMPILER: 4.06.0
<<: *bench_definition
deploy:
stage: deploy
......
......@@ -9,7 +9,9 @@ RUN sudo adduser --disabled-password --gecos '' why3
USER why3
ENV HOME /home/why3
WORKDIR /home/why3
RUN opam init -a -y -j2
ARG compiler=system
RUN opam init -a -y -j2 --compiler=$compiler
RUN opam install -y menhir lablgtk ocamlgraph zarith camlzip
# Alt-Ergo
......@@ -18,4 +20,4 @@ RUN opam install alt-ergo.1.30
# copy Why3 sources
COPY --chown=why3:why3 . why3
WORKDIR /home/why3/why3
WORKDIR /home/why3/why3
\ No newline at end of file
#!/bin/bash
set -e
eval `opam config env`
# configuration
autoconf
automake --add-missing 2> /dev/null || true
./configure --enable-local
# compilation
make -j2
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