--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on December 2014 ---
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