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)

yeah, I was really looking forward to these great and wonderful features
I've read about too and what you mention below, but it's no good if it's so
difficult to get it up and running. I might have missed it but I don't
recall seeing and reporting feature from frama-c. Having great complex
sophisticated analysis is absolutely fantastic but without properly
representing the analyzed data to the users...

Please don't take me wrong, Frama-C is probably great, i'm just providing my
feedback and my experience as a first time user...

Anyways, I was trying to recall why i didn't just go with the OSX binary in
the first place, thanks for reminding me, that's because gcc is required and
I can't get gcc binary for OSX.
/frama-c-gui -slevel 10 -val ~/first.c
sh: gcc: command not found

 ./frama-c ~/first.c
[kernel] preprocessing with "gcc -C -E -I.   /Users/ans/first.c"
sh: gcc: command not found
[kernel] user error: failed to run: gcc -C -E -I.   -o
'/var/folders/mp/mpvkt4ulGPCrouau9FIOAk+++TM/-Tmp-/first.c621e27.i'
'/Users/ans/first.c'
                     you may set the CPP environment variable to select the
proper preprocessor command or use the option "-cpp-command".
[kernel] user error: skipping file "/Users/ans/first.c" that has errors.
[kernel] Plugin kernel aborted because of invalid user input(s).

On Wed, Mar 31, 2010 at 1:14 AM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote:

> > 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.
>
> Did you see the web page http://frama-c.com/try_out.html ?
> This page uses command-line options to create the project and
> launch the value analysis to that you don't have to do it through the GUI.
> You can do either of these through the GUI too, of course.
>
> > 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.
>
> These are very different tools. If what you are looking for is the
> equivalent
> of an existing tool that you already use and are familiar with, you can
> only be disappointed because Frama-C has different constraints. And
> I am not talking only about the GUI limitations, which come from the fact
> that we cannot justify more resources for that aspect. I am talking about
> what you can do with Frama-C once you get past the GUI, which is more
> sophisticated than any other available tool you may have tried, and
> proportionally complex.
>
> > 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.
> > (frama-c-gui:665): Gtk-WARNING **: Unable to find default local directory
> > monitor type
>
> A lot of file are not found in the location where there are looked for.
> Did you untar the archive in / ? This is listed as one requirement on
> http://frama-c.com/OSX_beryllium.html
>
> 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/20100331/c42a6dbe/attachment.htm>