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 #30 from David A. Wheeler <dwheeler@xxxxxxxxxxxx> 2010-06-09 20:25:44 EDT --- Here's some more info that may help you track down the problem on 32-bit x86 platforms. Fedora 11 has basically the same problem, that is, it builds but does not install on 32-bit Fedora 11. The error message there is different; when you attempt to "rpm -i", the error is: /usr/sbin/semanage: File context for /usr/libframa-c/plugins/Ltl_to_acsl.cmxs already defined restorecon: stat error on /usr/libframa-c/plugins/Ltl_to_acsl.cmxs: No such file or directory warning: %post(frama-c-1.4-3.fc11.i586) scriptlet failed, exit status 255 Note that it reports on "/usr/libframa-c" instead of "/usr/lib/frama-c"; there's a missing "/" between "lib" and "frama-c". That might be a clue. I also tried rebuilding on 32-bit Fedora 13 after removing this: %if 0%{?fedora} >= 13 %patch2 -p1 %endif on the theory that since this was specific to Fedora 13+, it might be the problem. No dice; it won't compile without that patch. Hope that info helps. -- 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