opam installation of frama-c-base fails
ID0002331: This issue was created automatically from Mantis Issue 2331. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0002331 | Frama-C | Kernel > Makefile | public | 2017-11-07 | 2017-12-06 |
Reporter | seberoon | Assigned To | bobot | Resolution | fixed |
Priority | normal | Severity | minor | Reproducibility | always |
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 |
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