Issues while installation of Frama-C using OPAM
ID0002375: This issue was created automatically from Mantis Issue 2375. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002375 | Frama-C | Opam | public | 2018-05-23 | 2018-07-11 |
| Reporter | NewUser | Assigned To | maroneze | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | Mac OS | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | Frama-C 17-Chlorine |
Description :
I am having trouble while installation of frame-C on MacOS. I am trying to install it via OPAM. I have installed all the dependencies also e.g (brew install gmp gtk+ gtksourceview libgnomecanvas) but still it is not working. please see the attached file for detailed error message
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information