Frama-C Bug Tracking System - Frama-C
View Issue Details
0001764Frama-CKernelpublic2014-04-28 21:442015-03-17 22:17
mehdi 
bobot 
normalminoralways
closedfixed 
Frama-C Neon-20140301 
Frama-C Sodium 
0001764: Port to OCamlgraph 1.8.5
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).
No tags attached.
patch 0004-Port-to-OCamlgraph-1.8.5.patch (10,397) 2014-04-28 21:44
https://bts.frama-c.com/file_download.php?file_id=745&type=bug
Issue History
2014-04-28 21:44mehdiNew Issue
2014-04-28 21:44mehdiFile Added: 0004-Port-to-OCamlgraph-1.8.5.patch
2014-04-28 21:54yakobowskiNote Added: 0005054
2014-05-11 05:38signolesAssigned To => bobot
2014-05-11 05:38signolesStatusnew => assigned
2014-05-14 17:04bobotNote Added: 0005091
2014-05-14 17:06bobotStatusassigned => resolved
2014-05-14 17:07bobotFixed in Version => Frama-C GIT, precise the release id
2014-05-14 17:07bobotResolutionopen => fixed
2015-03-17 22:17signolesFixed in VersionFrama-C GIT, precise the release id => Frama-C Sodium
2015-03-17 22:17signolesStatusresolved => closed

Notes
(0005054)
yakobowski   
2014-04-28 21:54   
Thanks Mehdi. Actually, I think we have not yet migrated to OCamlgraph 1.5 so this patch is even more welcome :-)
(0005091)
bobot   
2014-05-14 17:04   
Mehdi, I took the liberty to use your patch for the opam package. I hope you don't mind. Also now trunk migrated to ocamlgraph 1.5. Perhaps a minor release of Neon should be done for people that use neither opam neither the debian package.