diff options
Diffstat (limited to 'INSTALL.md')
-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 |