diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 17:05:57 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 17:05:57 +0200 |
| commit | b4a41e2dc6f8a57db9e29b9c001289ed234781a2 (patch) | |
| tree | 72405d9deb966631ad6d8a4badb26963c42b06eb /INSTALL.md | |
| parent | dfae0d2d876fc8abbbcefe12d605ade1e88479dc (diff) | |
| download | compcert-kvx-b4a41e2dc6f8a57db9e29b9c001289ed234781a2.tar.gz compcert-kvx-b4a41e2dc6f8a57db9e29b9c001289ed234781a2.zip | |
Update INSTALL.md
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`) |