--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Compiling Frama-C on Ubuntu 9.10



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