--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on December 2008 ---
Hello, As Anne Pacalet suggested, the compilation of Frama-C and ocamlgraph may have been bother by the installation of ubuntu packages at some stage of the compilation process. Now all your ubuntu packages seem to be properly installed on your system. So the best is probably to removing your directory, untaring again Frama-C and do one more time ./configure make If you have still any problem, please send us your compilation trace and the files "config.log" of both Frama-C and ocamlgraph. It is also possible to configure Frama-C like this: ./configure --disable-syntactic_callgraph So the plug-in "syntactic callgraph" will be not available but Frama-C would not try anymore to compile some piece of code depending on the library "lablgnomecanvas". Hope that it will solve your problem, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability Lab 91191 Gif-Sur-Yvette Cedex tel:(+33)1.69.08.71.83 fax:(+33)1.69.08.83.95 Julien.Signoles at cea.fr