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)



so i finally give up on source installation and just go with the osx 10.5
binary from the site, hoping it would work well...
but i can't seem to analyze and source, from frama-c gui, new project > add
source > *.c > close. nothing happen, I don't see and source listed on
frama-c on the upper left corner frame.

in my terminal, i see msg like below:

sonar for java code analysis, i can get it up and running in few minutes; i
hope future releases of frama-c would be easier to install and use.

bash-3.2# ./frama-c-gui
(frama-c-gui:665): Gtk-WARNING **: Unable to find default local directory
monitor type
(frama-c-gui:665): Gtk-WARNING **: Could not find the icon
'application-octet-stream'. The 'hicolor' theme
was not found either, perhaps you need to install it.
You can get a copy from:
http://icon-theme.freedesktop.org/releases
(frama-c-gui:665): Gtk-WARNING **: Unable to find default local directory
monitor type
(frama-c-gui:665): Gtk-WARNING **: Unable to find default local directory
monitor type
(frama-c-gui:665): Gtk-WARNING **: Unable to find default local directory
monitor type
(frama-c-gui:665): Gtk-WARNING **: Unable to find default local directory
monitor type



On Tue, Mar 30, 2010 at 1:35 PM, aintest3f aintest3l <aintest3 at gmail.com>wrote:

> 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/725197c8/attachment.htm>