diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-21 23:44:17 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-21 23:44:17 +0100 |
commit | 7b04543056d381c6bdb4ac256cc14ec9c31fcddd (patch) | |
tree | 2cd8810047badd4362c61b91e8dfa0750721477f /.gitlab-ci.yml | |
parent | 7063cdbba6a38b01429cb68389b22ea7b4b6aea2 (diff) | |
download | compcert-kvx-7b04543056d381c6bdb4ac256cc14ec9c31fcddd.tar.gz compcert-kvx-7b04543056d381c6bdb4ac256cc14ec9c31fcddd.zip |
fix again opam
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 79f755d7..82690410 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -276,7 +276,7 @@ build_kvx: - rm -rf download - eval `opam config env` - opam update - - opam pin add coq-flocq 3.4.0 --no-action && opam install -y menhir gappa coq-gappa -coq-flocq + - opam pin add coq-flocq 3.4.0 --no-action && opam install -y menhir gappa coq-gappa coq-flocq script: - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS" |