--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on April 2010 ---
> Frama-C contains a local ocamlgraph. It seems that the makefile for > alt-ergo doesn't find this one. Should I install libocamlgraph-ocaml-dev > as suggested? This should work. Alt-ergo is less picky than Frama-C about the version of ocamlgraph it links with. > What to about the local ocamlgraph package? Should i > uninstall frama-c and recompile with the global ocamlgraph package? There is no need to. If you did, Frama-C would probably elect to use its own ocamlgraph, since it is always using the last features that are likely not to be found in a distribution's packaged version of ocamlgraph. There is absolutely no ill effect when using different versions of ocamlgraph in Frama-C and alt-ergo. They live in separate processes and communicate only indirectly (via Why) and through text files. Pascal