--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on April 2013 ---
On Mon, Apr 8, 2013 at 5:01 PM, Claude March? <Claude.Marche at inria.fr>wrote: > > I'm surprised that ocamlgraph is not included in that Frama-C package, > because Frama-C needs ocamlgraph. At the time of release, Frama-C usually needs ?the next release? of ocamlgraph. So the binary package uses the ocamlgraph snapshot included within the Frama-C source distribution. This ocamlgraph does not get installed in .../lib/ocaml. It may be installed somewhere else. There are some graph.* files in /usr/local/Frama-C/lib/frama-c. I will try to see if they can make Why happy. Pascal -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130408/e4e9dbc4/attachment.html>