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
Reporterseberoon 
Assigned Tobobot 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
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 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.
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
(0006470)
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 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.

- 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 - 2018 MantisBT Team
Powered by Mantis Bugtracker