Commit 059688e7 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Do not compile with -j2, since the CI slaves have a single core.

parent 31ad65d5
......@@ -11,7 +11,7 @@ WORKDIR /home/why3/why3
RUN eval `opam config env` && \
./configure && \
make -j2
USER root
......@@ -11,7 +11,7 @@ ENV HOME /home/why3
WORKDIR /home/why3
ARG compiler=system
RUN opam init -a -y -j2 --compiler=$compiler
RUN opam init -a -y -j1 --compiler=$compiler
RUN opam install -y menhir conf-gtksourceview lablgtk ocamlgraph zarith camlzip
# Alt-Ergo
......@@ -18,7 +18,7 @@ set -e
eval `opam config env`
./configure --enable-local
make -j2
if test "$1" = bench; then
bin/why3config --detect-provers
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