Frama-C Bug Tracking System - Frama-C
View Issue Details
0002331Frama-CKernel > Makefilepublic2017-11-07 19:122017-12-06 09:10
seberoon 
bobot 
normalminoralways
closedfixed 
macmac os10.11.6
Frama-C 15-Phosphorus 
Frama-C 16-Sulfur 
0002331: opam installation of frama-c-base fails
Following opam installation instructions at https://frama-c.com/install-phosphorus-20170501.html#installing-frama-c-on-mac-os-x. All ok up until opam install frama-c-base, which fails: # File "src/plugins/wp/qed/src/numbers.mll", line 131, characters 18-19: # Error: This expression has type string but an expression was expected of type # bytes This is using a fresh installation of homebrew and opam.
Mac OS 10.11.6 Xcode 8.2.1
No tags attached.
txt frama-c_install_fail.txt (2,270) 2017-11-07 19:12
https://bts.frama-c.com/file_download.php?file_id=1211&type=bug
Issue History
2017-11-07 19:12seberoonNew Issue
2017-11-07 19:12seberoonStatusnew => assigned
2017-11-07 19:12seberoonAssigned To => bobot
2017-11-07 19:12seberoonFile Added: frama-c_install_fail.txt
2017-11-08 09:00virgileNote Added: 0006470
2017-11-08 09:00virgileStatusassigned => resolved
2017-11-08 09:00virgileResolutionopen => fixed
2017-12-06 09:09signolesFixed in Version => Frama-C 16-Sulfur
2017-12-06 09:10signolesStatusresolved => closed

Notes
(0006470)
virgile   
2017-11-08 09:00   
You're presumably using opam switch 4.06.0 (i.e. the recently released OCaml version). The current Frama-C Phosphorus is indeed not compatible with this switch, and the opam package has just been updated to reflect that. Frama-C Sulfur will be, but it is not officially released yet. If everything goes according to plan, this should be done by the end of the month. If you do not want to wait until then, there are two possibilities: - you can try the beta version at https://github.com/Frama-C/Frama-C-snapshot/wiki/Frama-C-Sulfur-20171101-beta (note that you'll need to install opam base-num package that was provided directly within the compiler until 4.06.0 in order to have Frama-C compile) - or you can use the 4.05.0 switch of opam. 4.05.0 was the latest release by the time Phosphorus came out.