Frama-C Bug Tracking System - Frama-C
View Issue Details
0002372Frama-CKernel > configurepublic2018-03-28 02:202018-03-28 09:51 
Macbook ProOS X10.3.3
Frama-C 16-Sulfur 
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
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

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.
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.