--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on March 2010 ---
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