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@xxxxxxxxxxxx> 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@xxxxxxxxxxxx> - 2.14.0-5 +- Add support for gtksourceview2 (in addition to gtksourceview 1.0). + * Tue Jan 5 2010 Richard W.M. Jones <rjones@xxxxxxxxxx> - 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review