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)

> 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 ?
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