[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 #27 from David A. Wheeler <dwheeler at dwheeler.com> 2010-06-09 13:43:31 EDT ---
Hmm, I'm encountering a weird error on a 32-bit Fedora 13 system.  I'm not sure
if the problem is with your package or my system (which I just upgraded). 
Perhaps you'll see the obvious.

I did an rpmbuild on a 32-bit Fedora 13 system, which succeeded.  However, I
could not install the resulting RPM with "rpm -i".  Error was:
rpm -i ./frama-c-1.4-3.fc13.i686.rpm 
error: Failed dependencies:
 ocaml(GtkSourceView_types) = 54a715ab00f97f086ec8efa5bdfb1079 is needed by
frama-c-1.4-3.fc13.i686
 ocaml(Ltlast) = 74c3c642418d942308d59a8ee1249892 is needed by
frama-c-1.4-3.fc13.i686
 ocaml(Promelaast) = ca8d09a78cd4262a60715d5b1b444b13 is needed by
frama-c-1.4-3.fc13.i686

Erasing and re-installing "ocaml-lablgtk-devel ocaml-ocamlgraph-devel
gtksourceview gtksourceview-devel", followed by another rpmbuild, did not help.
 It's true that "is not installed" is returned from rpm -qi
'ocaml(GtkSourceView_types)' or the other two.  I don't see such packages, and
"yum install 'ocaml(GtkSourceView_types)'" fails.

The only rpmlint error now is on the QPL license, and that's good news!

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