diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-21 23:19:28 +0100 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-12-21 23:19:28 +0100 |
| commit | 2ad0d6e859cb90c0ae26652c71bf82e8f24ab49f (patch) | |
| tree | ec9553db46fbec3ef0214216e198b7b64763e235 /.gitlab-ci.yml | |
| parent | ed48745ff6040f4e4ff97e04f0f6bdf214efe64f (diff) | |
| download | compcert-kvx-2ad0d6e859cb90c0ae26652c71bf82e8f24ab49f.tar.gz compcert-kvx-2ad0d6e859cb90c0ae26652c71bf82e8f24ab49f.zip | |
compile & install gappa for KVX
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 c8ccedb8..096d8959 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 install -y menhir + - opam pin add 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" |