SRI-CSL / PVS

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

Cope with Quicklisp being installed in a non-standard location. #99

Open pdo opened 1 year ago

pdo commented 1 year ago

Tweaked the makefile to allow for a user's Quicklisp to be installed in a non-standard location.

Still honours the principle that if a user init file exists (e.g. ~/.sbclrc), then it is the user's responsibility to configure Quicklisp.