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