--- layout: fc_discuss_archives title: Message 15 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



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