--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on April 2010 ---
Guillaume Melquiond a ?crit : > 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 liblablgtksourceview2-ocaml-dev will only be available on the incoming Lucid Lynx 10.04 but is not available on Ubuntu 9.10. However, for Beryllium 2, liblablgtksourceview-ocaml-dev should le enough though. -- Julien