[Bug 592579] Review Request: Frama-c - Framework for source code analysis of C software

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=592579

--- Comment #52 from David A. Wheeler <dwheeler at dwheeler.com> 2010-08-01 13:55:17 EDT ---
A few notes regarding Frama-C:

1. Frama-C can optionally use ltl2ba, which adds some functionality.
I have packaged ltl2ba, review request here:
 https://bugzilla.redhat.com/show_bug.cgi?id=619831

2. I have updated ocaml-lablgtk in Fedora 13 so that it supports for
gtksourceview2.  This is required for the latest (unpackaged) version of
Frama-C.   Please test and vote for it, by seeing:
https://admin.fedoraproject.org/updates/ocaml-lablgtk-2.14.0-5.fc13

3. I tried to also update ocaml-lablgtk to support gtksourceview2 on Fedora 14.
 Unfortunately, the build mysteriously failed.  When it tried to compile
'ml_gobject.c' it reported the error "ml_gobject.c:292:14: error: conflicting
types for 'g_value_get_variant'".

My *hope* is that this failed build was caused by some of the problems due to
the infrastructure transition we're undergoing, and that the problem will go
away soon.  You can see the task results here (see the failed build's build.log
for details):
http://koji.fedoraproject.org/koji/taskinfo?taskID=2369292

Unfortunately, I think that is *not* the case.  It appears that newer versions
of the ocaml compiler have made a change that breaks many programs, including
lablgtk.  The ocaml compiler change is noted here:
http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html
Here's the info regarding lablgtk specifically:
http://permalink.gmane.org/gmane.comp.lang.ocaml.lib.gtk/1491

The recommended solution seems to be to compile/package a snapshot from here:
 http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html
Suggestions welcome.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.