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



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>