--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on April 2010 ---
Boris Hollas a ?crit : > 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: These are the C libraries. Try the following ones for OCaml: liblablgtksourceview-ocaml-dev liblablgtksourceview2-ocaml-dev Best regards, Guillaume