search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
135 stars 32 forks source link

Fix PVS build against SBCL 1.1.16 - 1.1.18+ #35

Closed MJDSys closed 10 years ago

MJDSys commented 10 years ago

Fix PVS build against newer versions of SBCL. This patch comes from the Fedora Project: https://lists.fedoraproject.org/pipermail/scm-commits/Week-of-Mon-20140310/1204764.html

MJDSys commented 10 years ago

I tested this commit against sbcl 1.0.58 (the oldest version on a platform you are supporting right now), and pvs was fine to both compile against it and run. So this should be safe to merge, if you wish to update the sbcl minimum version.