--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10



> 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