Commit f82679b8 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Setup a gitlab-ci pipeline for running "make bench".

parent cb790d9c
before_script:
- . $HOME/.opam/opam-init/variables.sh
ci-bench:
script:
- misc/ci-bench.sh
#!/bin/bash
# runner:
# apt-get install curl opam automake libgmp-dev zlib1g-dev
# curl -L https://packages.gitlab.com/install/repositories/runner/gitlab-runner/script.deb.sh | bash
# apt-get install gitlab-runner
# gitlab-runner register
# https://gitlab.inria.fr/
# shell
# su gitlab-runner
# cd
# opam init
# opam install menhir alt-ergo
set -e
# configuration
autoconf
automake --add-missing 2> /dev/null || true
./configure --enable-local
# compilation
make -j2
# detection of provers
bin/why3config --detect-provers
# run the bench
make bench
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