Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002331Frama-CKernel > Makefilepublic2017-11-07 19:122017-12-06 09:10
Assigned Tobobot 
PlatformmacOSmac osOS Version10.11.6
Product VersionFrama-C 15-Phosphorus 
Target VersionFixed in VersionFrama-C 16-Sulfur 
Summary0002331: opam installation of frama-c-base fails
DescriptionFollowing opam installation instructions at 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.
Additional InformationMac OS 10.11.6 Xcode 8.2.1
TagsNo tags attached.
Attached Filestxt file icon frama-c_install_fail.txt [^] (2,270 bytes) 2017-11-07 19:12 [Show Content]

- Relationships

-  Notes
virgile (developer)
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 (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.

- Issue History
Date Modified Username Field Change
2017-11-07 19:12 seberoon New Issue
2017-11-07 19:12 seberoon Status new => assigned
2017-11-07 19:12 seberoon Assigned To => bobot
2017-11-07 19:12 seberoon File Added: frama-c_install_fail.txt
2017-11-08 09:00 virgile Note Added: 0006470
2017-11-08 09:00 virgile Status assigned => resolved
2017-11-08 09:00 virgile Resolution open => fixed
2017-12-06 09:09 signoles Fixed in Version => Frama-C 16-Sulfur
2017-12-06 09:10 signoles Status resolved => closed

Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker