coq and ocaml conflict
ID0002372: This issue was created automatically from Mantis Issue 2372. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002372 | Frama-C | Kernel > configure | public | 2018-03-28 | 2019-07-05 |
| Reporter | sthudium@mac.com | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | Macbook Pro | OS | OS X | OS Version | 10.3.3 |
| Product Version | Frama-C 16-Sulfur | Target Version | - | Fixed in Version | Frama-C 19-Potassium |
Description :
I cannot install frame-c.
The error report says that the installed version of coq and ocaml conflict with frama-c.
See attached txt file.
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information