PVS icon indicating copy to clipboard operation
PVS copied to clipboard

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

Open pdo opened this issue 1 year ago • 0 comments

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.

pdo avatar Oct 21 '23 19:10 pdo