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



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>