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

[Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)



On Tue, Mar 30, 2010 at 8:55 AM, Virgile Prevosto
<virgile.prevosto at cea.fr> wrote:
> Hello,
>
> Le lun. 29 mars 2010 14:28:26 CEST,
> aintest3f aintest3l <aintest3 at gmail.com> a ?crit :
>
>>
>> [root at localhost lablgtksourceview-0.2.0]#

Besides, I don't think you should be compiling lablgtksourceview,
since it has been integrated in lablgtk. Dependencies are indeed
a pain, but Frama-C is packaged in a number of Unix distributions,
both source (Gentoo, Frugalware Linux, NetBSD) and binary ones
(Debian, Ubuntu, and there was some talk about a Fedora
package for which I don't know the current status). These have
the advantage over godi that they include the non-OCaml
dependencies too, while godi only packages OCaml software.

Pascal