--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on December 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problem with frama-c-gui



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