--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on April 2010 ---
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 So far, I'va installed ocaml libgtksourceview2.0-dev liblablgtk2-gnome-ocaml-dev Regards, Boris