diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 19:43:17 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 19:43:17 +0100 |
commit | 64ce25f46ebe6558d252a878f2289e8ec3901f17 (patch) | |
tree | ff895593f9f1e24920b7c16507795e63db210fca /.gitlab-ci.yml | |
parent | aa926dbe4652b10ecc77347c99300bc6e00b5be4 (diff) | |
download | compcert-kvx-64ce25f46ebe6558d252a878f2289e8ec3901f17.tar.gz compcert-kvx-64ce25f46ebe6558d252a878f2289e8ec3901f17.zip |
use later ocaml compiler
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b6d78ef6..d7093a58 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,6 +5,7 @@ build_x86_64: stage: build_x86_64 image: "coqorg/coq" before_script: + - opam switch \$COMPILER_EDGE; eval \$(opam env) - opam install -y menhir script: - ./config_x86_64.sh |