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