Frama-C Bug Tracking System - Frama-C
View Issue Details
0002372Frama-CKernel > configurepublic2018-03-28 02:202019-07-05 11:41
sthudium@mac.com 
virgile 
normalmajoralways
closedfixed 
Macbook ProOS X10.3.3
Frama-C 16-Sulfur 
Frama-C 19-Potassium 
0002372: coq and ocaml conflict
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.
No tags attached.
txt install framac terminal text.txt (1,422) 2018-03-28 02:20
https://bts.frama-c.com/file_download.php?file_id=1258&type=bug
Issue History
2018-03-28 02:20sthudium@mac.comNew Issue
2018-03-28 02:20sthudium@mac.comStatusnew => assigned
2018-03-28 02:20sthudium@mac.comAssigned To => virgile
2018-03-28 02:20sthudium@mac.comFile Added: install framac terminal text.txt
2018-03-28 09:39sthudium@mac.comNote Added: 0006542
2018-03-28 09:51virgileNote Added: 0006543
2019-05-23 17:17virgileNote Added: 0006774
2019-05-23 17:17virgileResolutionopen => fixed
2019-05-23 17:17virgileFixed in Version => Frama-C 19-Potassium
2019-05-23 17:18virgileStatusassigned => resolved
2019-07-05 11:41signolesStatusresolved => closed

Notes
(0006542)
sthudium@mac.com   
2018-03-28 09:39   
I switch to an earlier version of opam "using opam switch 4.03.0". The frama-c installation then completed. Apparently, the latest versions of frama-c and opam are not compatible.
(0006543)
virgile   
2018-03-28 09:51   
Indeed, the current Frama-C version cannot be installed against OCaml 4.06. You should normally be able to compile it against OCaml 4.05, though.
(0006774)
virgile   
2019-05-23 17:17   
Frama-C 9.0 is compatible with all released OCaml version up to 4.07