--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on March 2010 ---
I went back to use ocaml-3.11.0 since "latest" ocaml was no good... I'm using lablgtk-2.14.0 , is this version any good with frama-c? maybe if all the "working" version of the dependencies are listed somewhere in frama-c, it would simplify things a little. if frama-c packages are available for linux distros, providing download link from frama-c site would make it easier to find. but then again there is never really a working package for the version of linux distro you are using (from my experiences packages are always a few version behind, i.e. I am running FC8 but packages are available in FC6 or less) I think most would still prefer to source to get the gui version and plugins like why and jessie. On Mon, Mar 29, 2010 at 11:29 PM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote: > 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 > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100330/91a0b42d/attachment.htm>