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(a)dwheeler.com> 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.