search

AbsInt / CompCert

The CompCert formally-verified C compiler
https://compcert.org
Other
1.9k stars 229 forks source link

Typo on installation page #326

Closed rigille closed 4 years ago

rigille commented 4 years ago

The installation page says to execute opam switch 4.07.1 but the comment says version 4.06.1. I suspect 4.06.1 is the correct one.

Screenshot_2019-12-24 Installation instructions

Additionally, I would suggest saying something to ensure the user gets the correct version of opam. My package manager installed an old version and it took me quite a while to figure out why I couldn't get the correct version of menhir. :)

xavierleroy commented 4 years ago

You're right there is a typo. The recommended OCaml version is 4.07.1, but 4.06.1 should work too. The manual was already fixed in preparation for the next release, but I'll try to fix the current version too.

Concerning OPAM, you're right that version 2 is required. We'll add a note to this extent.