Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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)

  • Subject: [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: pascal.cuoq at (Pascal Cuoq)
  • Date: Tue, 30 Mar 2010 09:29:52 +0200
  • In-reply-to: <20100330085508.26905358@is010235>
  • References: <> <20100330085508.26905358@is010235>

On Tue, Mar 30, 2010 at 8:55 AM, Virgile Prevosto
<virgile.prevosto at> wrote:
> Hello,
> Le lun. 29 mars 2010 14:28:26 CEST,
> aintest3f aintest3l <aintest3 at> 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.