PVS
PVS copied to clipboard
Cope with Quicklisp being installed in a non-standard location.
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.