frama-c installation needs dune > 1.5 package installed
ID0002448: This issue was created automatically from Mantis Issue 2448. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002448 | Frama-C | Documentation > website | public | 2019-06-04 | 2019-06-04 |
| Reporter | varosi | Assigned To | bobot | Resolution | open |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | macOS | OS Version | Mojave |
| Product Version | Frama-C 18-Argon | Target Version | - | Fixed in Version | - |
Description :
Installation instructions here - https://frama-c.com/install-18.0-Argon.html#installing-frama-c-on-macos Doesn't tell that dune package in spam should be > 1.5. This brakes build with strange message telling the reverse:
Error: Version 1.5 of dune is not supported.
Supported versions:
- 0.0
- 1.0 to 1.1
If you do install later package with: opam install dune.1.9.3
Everything works just fine. So it would make life of newcomers like me easier if this is said in install instructions here: https://frama-c.com/install-18.0-Argon.html#installing-frama-c-on-macos
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information