View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0002448 | Frama-C | Documentation > website | public | 2019-06-04 18:34 | 2019-06-04 19:51 | ||||||||
Reporter | varosi | ||||||||||||
Assigned To | bobot | ||||||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||||||
Status | assigned | Resolution | open | ||||||||||
Platform | OS | macOS | OS Version | Mojave | |||||||||
Product Version | Frama-C 18-Argon | ||||||||||||
Target Version | Fixed in Version | ||||||||||||
Summary | 0002448: frama-c installation needs dune > 1.5 package installed | ||||||||||||
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 | ||||||||||||
Tags | No tags attached. | ||||||||||||
Attached Files |
|
![]() |
|
virgile (developer) 2019-06-04 19:51 |
Could you provide the full opam output? Frama-C does not use dune itself. It's probably some package on which it depends that fails to install (and which may have to update its own dependencies). |