ci-bench.sh 559 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#!/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