Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
47a0a703
Commit
47a0a703
authored
Oct 19, 2017
by
Guillaume Melquiond
Browse files
Setup a gitlab-ci pipeline for running "make bench".
parent
8281d57d
Changes
2
Hide whitespace changes
Inline
Side-by-side
.gitlab-ci.yml
0 → 100644
View file @
47a0a703
before_script
:
-
. $HOME/.opam/opam-init/variables.sh
ci-bench
:
script
:
-
misc/ci-bench.sh
misc/ci-bench.sh
0 → 100755
View file @
47a0a703
#!/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
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment