From 2d9138547d93c32c0ec5ae54b4afc022f5c434ff Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Mon, 7 Mar 2022 16:13:58 +0100 Subject: installation --- INSTALL.md | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index 5e2e800d..755ba690 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -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 -- cgit