diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-21 23:36:45 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-21 23:36:45 +0100 |
commit | 9790ad0c32ff9ae1e08d974c0a410954bccf24b6 (patch) | |
tree | b5973cac40339c33f6eec50e0b572bbd62fa4ba3 /.gitlab-ci.yml | |
parent | 480564b2b7d7d41b11122621514d865f47717ce6 (diff) | |
download | compcert-kvx-9790ad0c32ff9ae1e08d974c0a410954bccf24b6.tar.gz compcert-kvx-9790ad0c32ff9ae1e08d974c0a410954bccf24b6.zip |
use option -n for pin add
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 096d8959..9c4379fd 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 && opam install -y menhir gappa coq-gappa -coq-flocq + - opam pin add -n coq-flocq 3.4.0 && 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" |