[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 #23 from David A. Wheeler <dwheeler at dwheeler.com>  2010-01-02 12:12:51 EDT ---
Hooray!! This updated package now works on 32-bit (using Fedora 11).   It
builds without hanging.  I also used the "mortality.pvs" demo, and PVS quickly
proves "Socrates is mortal".  That's good, since Socrates has been dead a long
time :-).  Anyway, that worked in 64-bit, now it works (again) in 32-bit.

I found no rpmlint warnings in this version (at least for the 32-bit version). 
I did "rpmlint ./RPMS/i586/pvs-sbcl-4.2-2.20091229svn.fc11.i586.rpm
./SRPMS/pvs-sbcl-4.2-2.20091229svn.fc11.src.rpm ./SPECS/pvs-sbcl.spec" and it
reported:
2 packages and 1 specfiles checked; 0 errors, 0 warnings.

I'll try 64-bit Fedora 12 next; presuming that works, I'll then walk through
the package guideline checklist.

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