[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 #48 from David A. Wheeler <dwheeler at dwheeler.com> 2010-07-28 10:05:08 EDT ---
Comment 47 has some good points.

Regarding: "1. Why not package the latest version - frama-c-Boron-20100401
instead?"  I'd really like to see that happen, but there are reasons that the
current one isn't packaged yet.  In particular, ocaml-lablgtk needs to get
updated (feel free to badger Richard W.M. Jones :-) ).  Details below.

First, I completely agree that it'd be *great* to update frama-c to the current
version.  I have an updated packaging of "why" that *cannot* be used until the
latest version of frama-c is packaged, so I would ALSO like to see the latest
version of frama-c (Boron-20100401) packaged.

I asked the Fedora frama-c packager (Mark Rader) to explain why he didn't
package the latest version.  He explained to me that at least one problem is
that the latest version of frama-c requires gtksourceview2, but the
ocaml-lablgtk package in Fedora does *NOT* include support for gtksourceview2
(it only supports gtksourceview 1.0).   This is a fundamental blocker to
updating to the current version of Frama-C.

I've already sent a patch to Richard W.M. Jones to modify ocaml-lablgtk so that
it adds support for gtksourceview2.  (I sent it yesterday, before I saw your
email, so great minds think alike I guess).  It's a trivial patch, so I really
hope it will be added ASAP.  It forces a lot of rebuilds of other OCaml
packages, but that's a one-time event and I think it *should* be done.

The best instructions I know of for Fedora are (and it's painful):
http://itrs.tw/wiki/Frama-C_Installation_Note_on_Fedora_12

There may be other issues.  I know that for best results ltl2ba needs to be
packaged, and there may be issues with ocamlgraph too.  If you could help,
that'd be GREAT!!!!

For completeness, here's my patch to the spec file of ocaml-lablgtk as it
exists in Fedora 13:

 Name:           ocaml-lablgtk
 Version:        2.14.0
-Release:        4%{?dist}
+Release:        5%{?dist}

 Summary:        Objective Caml interface to gtk+

@@ -34,6 +34,7 @@
 BuildRequires:  ocaml-ocamldoc
 BuildRequires:  zlib-devel
 BuildRequires:  gtksourceview-devel
+BuildRequires:  gtksourceview2-devel


 %global __ocaml_requires_opts -i GtkSourceView_types -i GtkSourceView2_types
@@ -79,6 +80,7 @@
 %configure --with-gl --enable-debug
 perl -pi -e "s|-O|$RPM_OPT_FLAGS|" src/Makefile
 make world
+make opt
 make doc CAMLP4O="camlp4o -I %{_libdir}/ocaml/camlp4/Camlp4Parsers"


@@ -152,6 +154,9 @@


 %changelog
+* Tue Jul 27 2010 David A. Wheeler <dwheeler at dwheeler.com> - 2.14.0-5
+- Add support for gtksourceview2 (in addition to gtksourceview 1.0).
+
 * Tue Jan  5 2010 Richard W.M. Jones <rjones at redhat.com> - 2.14.0-4
 - Use upstream RPM 4.8 dependency generator.
 - -devel package should depend on gtk2-devel, otherwise lablgtk programs

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