Potassium does not install on the given Mac version from opam
ID0002464: This issue was created automatically from Mantis Issue 2464. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002464 | Frama-C | Opam | public | 2019-07-11 | 2020-02-17 |
| Reporter | davidcok | Assigned To | correnson | Resolution | fixed |
| Priority | high | Severity | major | Reproducibility | always |
| Platform | MAC | OS | OSX | OS Version | 10.12.6 (SIERRA) |
| Product Version | - | Target Version | - | Fixed in Version | Frama-C 20-Calcium |
Description :
opam install frama-c on Mac wants to downgrade alt-ergo to version 2.1.0 (instead of 2.3.0) but 2.1.0 fails to build with the error
Error: Unbound module Zip
make: *** [lib/util/myZip.cmx] Error 2
Steps To Reproduce :
opam install frama-c
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information