Port to OCamlgraph 1.8.5
ID0001764: This issue was created automatically from Mantis Issue 1764. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001764 | Frama-C | Kernel | public | 2014-04-28 | 2015-03-17 |
| Reporter | mehdi | Assigned To | bobot | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | Frama-C Sodium |
Description :
It seems that a change in the API has been introduced in OCamlgraph 1.8.4 and then reverted in 1.8.5. In order to build Frama-c using the latest OCamlgraph, this attached patch is needed (but I'm pretty sure you did that in the Git repository).
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information