[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 #22 from Jerry James <loganjerry at gmail.com>  2010-01-01 20:25:21 EDT ---
Now that I'm done making merry, I had a chance to work on this again.  I found
several more SBCL-specific changes that needed to be made to the PVS code base,
so I've reworked the patches.  Give this a try:

http://jjames.fedorapeople.org/pvs/pvs-sbcl.spec
http://jjames.fedorapeople.org/pvs/pvs-sbcl-4.2-2.20091229svn.fc12.src.rpm

This includes changes that were checked into PVS subversion over the last
couple of weeks.

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