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@xxxxxxxxxxxx> 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review