View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0002331 | Frama-C | Kernel > Makefile | public | 2017-11-07 19:12 | 2017-12-06 09:10 | ||||
Reporter | seberoon | ||||||||
Assigned To | bobot | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Platform | mac | OS | mac os | OS Version | 10.11.6 | ||||
Product Version | Frama-C 15-Phosphorus | ||||||||
Target Version | Fixed in Version | Frama-C 16-Sulfur | |||||||
Summary | 0002331: opam installation of frama-c-base fails | ||||||||
Description | 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. | ||||||||
Additional Information | Mac OS 10.11.6 Xcode 8.2.1 | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
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. |
![]() |
|||
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 |