--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on December 2008 ---
Hi! Thanks for your help. 2008/12/12 Julien SIGNOLES <julien.signoles at cea.fr> > 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 > This solution works! > 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 > -- Cumprimentos, Andr? Passos. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081215/df67e979/attachment.htm