diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-22 00:47:23 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-22 00:47:23 +0100 |
commit | bfe75ff0614ef6b93313c77fba44d12cb68bd94b (patch) | |
tree | 0becd582541c70febcc21b434db7ccadd750a3e6 /.gitlab-ci.yml | |
parent | dd1bb6c83309ef4c1a9a2f960c5dd935fc6882dd (diff) | |
download | compcert-kvx-bfe75ff0614ef6b93313c77fba44d12cb68bd94b.tar.gz compcert-kvx-bfe75ff0614ef6b93313c77fba44d12cb68bd94b.zip |
external Flocq
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 d678aab7..724d8543 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -279,7 +279,7 @@ build_kvx: - opam update && 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 && ./config_kvx.sh --use-external-Flocq - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS" - make -j "$NJOBS" clightgen - source /opt/kalray/accesscore/kalray.sh && make -C test CCOMPOPTS=-static SIMU='kvx-cluster -- ' EXECUTE='kvx-cluster -- ' all test |