[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

[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=548607





--- Comment #6 from David A. Wheeler <dwheeler at dwheeler.com>  2009-12-21 23:48:31 EDT ---
I found a bug in the build.  If you have a freshly-install sbcl, there hasn't
been time for 'prelink' to mangle the sbcl executable.  The current script
assumes that prelink *has* modified sbcl, and crashes when that's not so. 
Here's the tail of the "rpmbuild -ba" output:

checking for emacs version >= 19... found 23.1.1
checking for etags... etags
checking for mkdir... mkdir
checking for tar... tar
checking for GNU tar version >= 1.11... found 1.22
checking for rm... rm
configure: creating ./config.status
config.status: creating Makefile
config.status: creating pvs
config.status: creating pvsio
config.status: creating doc/api/Makefile
config.status: creating doc/user-guide/Makefile
config.status: creating doc/language/Makefile
config.status: creating doc/language/pvs-doc.el
config.status: creating doc/prover/Makefile
+ cp -p /usr/bin/sbcl .
+ prelink -u ./sbcl
prelink: ./sbcl does not have .gnu.prelink_undo section
error: Bad exit status from /var/tmp/rpm-tmp.5D7Okc (%build)

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