opam fails to install frama-c
ID0002468: This issue was created automatically from Mantis Issue 2468. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002468 | Frama-C | Opam | public | 2019-07-26 | 2020-02-17 |
| Reporter | abutterfield | Assigned To | maroneze | Resolution | fixed |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | Macbook Pro | OS | OS X Mojave | OS Version | 10.14.5 |
| Product Version | Frama-C 19-Potassium | Target Version | - | Fixed in Version | Frama-C 20-Calcium |
Description :
~> opam install frama-c The following dependencies couldn't be met:
- frama-c → frama-c-base → ocaml < 4.06 base of this switch (use `--unlock-base' to force)
- frama-c → ocaml < 4.08.0 base of this switch (use `--unlock-base' to force)
No solution found, exiting
Steps To Reproduce :
Followed instructions on https://frama-c.com/install-19.0-Potassium.html#installing-frama-c-on-macos after doing update/upgraders for both brew and opam - opam and Ocaml already installed.
Attached file shows complete OS X Terminal transcript
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information