Filtering...

base

books/quicklisp/base

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))