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

[Frama-c-discuss] Queries regarding WP plugin



Hello,

On 12/15/2014 05:17 AM, Debasmita Lohar wrote:
I know the gui is not being
> installed. But by default gui is enabled according to the configuration
> help. I tried using ./configure --enable-gui as well. Then also it is
> showing some warnings. The configuration log is attached herewith. Where
> am I doing wrong?

The GUI is enabled by default when it is possible to compile it. Here it 
is not possible because lablgtk2 is missing as some warnings explain.

>     configure:9084: WARNING:
>     /usr/local/lib/ocaml/lablgtk2/__lablgtk.cmxa not found.
>     configure:9098: WARNING: gui disabled because
>     /usr/local/lib/ocaml/lablgtk2/__lablgtk.cmxa missing.

If you install lablgtk2 first, then run ./configure again, the GUI will 
be available.

For instance, for an Ubuntu like distribution, you might want to install 
the packages liblablgtksourceview2-ocaml-dev and 
liblablgtk2-gnome-ocaml-dev as explained in the file INSTALL provided in 
the Frama-C source distribution.

Hope this helps,
Julien Signoles
-- 
Researcher-engineer
CEA LIST, Software Safety Labs
tel:(+33)1.69.08.00.18  fax:(+33)1.69.08.83.95  Julien.Signoles at cea.fr