diff options
Diffstat (limited to 'INSTALL.md')
-rw-r--r-- | INSTALL.md | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -34,6 +34,12 @@ 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.11.0 # example of Coq version +``` + ## Compilation Pre-compilation configure replace the placeholder with your desired platform (for Kalray Coolidge it is `kvx-cos`) |