--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on April 2010 ---
Boris Hollas a ?crit : > Hello Virgile, > > I assume that I don't have to compile liblablgtk2 because there's > liblablgtk2-gnome-ocaml. > > There are two packages for gtksourceview: libgtksourceview1.0-0 and > libgtksourceview2.0. libgtksourceview-dev has a dependency for > libgtksourceview1.0-0. However, with either package, configure disables > the Frama-C GUI. I first tried libgtksourceview-dev, then > libgtksourceview2.0-dev. In both cases, configure reports: > > checking for /usr/lib/ocaml/lablgtk2/lablgtk.cmxa... yes > checking for /usr/lib/ocaml/lablgtk2/lablgtksourceview.cmxa... no > checking for /usr/lib/ocaml/lablgtksourceview/lablgtksourceview.cmxa... > no > configure: WARNING: lablgtksourceview.cmxa not found > plug-ins disabled: > gui > > There's also this warning: > > configure: WARNING: dot not found: you should install GraphViz > plug-ins not fully functional: > syntactic_callgraph GraphViz is required for displaying the syntactic callgraph in the Frama-C GUI. > So far, I'va installed > > ocaml > libgtksourceview2.0-dev > liblablgtk2-gnome-ocaml-dev Also install the following packages: liblablgtksourceview-ocaml-dev graphviz Hope this helps, Julien