diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-03-07 16:13:58 +0100 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-03-07 16:13:58 +0100 |
| commit | 2d9138547d93c32c0ec5ae54b4afc022f5c434ff (patch) | |
| tree | abb3cf482b04b96e8ad261b5c2f9a5f842a8951f | |
| parent | eaae75e487a82021cc615856b31f86bd05853b1e (diff) | |
| download | compcert-kvx-2d9138547d93c32c0ec5ae54b4afc022f5c434ff.tar.gz compcert-kvx-2d9138547d93c32c0ec5ae54b4afc022f5c434ff.zip | |
installation
| -rw-r--r-- | INSTALL.md | 16 |
1 files changed, 14 insertions, 2 deletions
@@ -34,11 +34,23 @@ Install dependencies available through opam ``` opam install coq menhir ``` - Note: it may happen that a newer version of Coq is not supported yet. You may downgrade to solve the problem: ``` -opam pin add coq 8.12.2 # example of Coq version +opam pin add coq 8.13.2 # example of Coq version +``` + +### For Kalray KVX +On this platform, we also need Gappa installed. +You may need to first install some development packages. On Ubuntu: +``` +apt install bison flex libmpfr-dev libboost-dev +``` + +This install Gappa and Flocq: +``` +opam pin add coq-flocq 3.4.0 --no-action +opam install gappa coq-gappa coq-flocq ``` ## Compilation |