Included Books
other
(in-package "ACL2")
include-book
(include-book "tools/include-raw" :dir :system)
other
(make-event (mv-let (err override-dir state) (getenv$ "QUICKLISP_ASDF_HOME" state) (let* ((dir (if err (er hard? 'getenv$ "getenv failed") (or override-dir (cbd)))) (dir-last (- (length dir) 1)) (dir (if (eql #\/ (char dir dir-last)) (subseq dir 0 dir-last) dir))) (progn$ (setenv$ "XDG_CONFIG_HOME" (concatenate 'string dir "/asdf-home/config")) (setenv$ "XDG_DATA_HOME" (concatenate 'string dir "/asdf-home/data")) (setenv$ "XDG_CACHE_HOME" (concatenate 'string dir "/asdf-home/cache")) (value '(value-triple :invisible))))) :check-expansion t)
other
(defttag :quicklisp)
other
(include-raw "bundle/bundle.lisp" :host-readtable t)
local
(local (include-raw "base-raw.lsp" :host-readtable t :do-not-compile t))