configuration.lisp 12.7 KB
Newer Older
1 2 3
;;;; ---------------------------------------------------------------------------
;;;; Generic support for configuration files

4 5
(asdf/package:define-package :asdf/configuration
  (:recycle :asdf/configuration :asdf)
6
  (:use :asdf/common-lisp :asdf/utility
7
   :asdf/os :asdf/pathname :asdf/filesystem :asdf/stream :asdf/image)
8 9 10 11 12 13 14 15
  (:export
   #:get-folder-path
   #:user-configuration-directories #:system-configuration-directories
   #:in-first-directory
   #:in-user-configuration-directory #:in-system-configuration-directory
   #:validate-configuration-form #:validate-configuration-file #:validate-configuration-directory
   #:configuration-inheritance-directive-p
   #:report-invalid-form #:invalid-configuration #:*ignored-configuration-form*
16
   #:*clear-configuration-hook* #:clear-configuration #:register-clear-configuration-hook
17
   #:resolve-location #:location-designator-p #:location-function-p #:*here-directory*
18
   #:resolve-relative-location #:resolve-absolute-location #:upgrade-configuration))
19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51
(in-package :asdf/configuration)

(define-condition invalid-configuration ()
  ((form :reader condition-form :initarg :form)
   (location :reader condition-location :initarg :location)
   (format :reader condition-format :initarg :format)
   (arguments :reader condition-arguments :initarg :arguments :initform nil))
  (:report (lambda (c s)
               (format s (compatfmt "~@<~? (will be skipped)~@:>")
                       (condition-format c)
                       (list* (condition-form c) (condition-location c)
                              (condition-arguments c))))))

(defun* get-folder-path (folder)
  (or ;; this semi-portably implements a subset of the functionality of lispworks' sys:get-folder-path
   #+(and lispworks mswindows) (sys:get-folder-path folder)
   ;; read-windows-registry HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Explorer\User Shell Folders\AppData
   (ecase folder
    (:local-appdata (getenv-absolute-directory "LOCALAPPDATA"))
    (:appdata (getenv-absolute-directory "APPDATA"))
    (:common-appdata (or (getenv-absolute-directory "ALLUSERSAPPDATA")
                         (subpathname* (getenv-absolute-directory "ALLUSERSPROFILE") "Application Data/"))))))

(defun* user-configuration-directories ()
  (let ((dirs
         `(,@(when (os-unix-p)
               (cons
                (subpathname* (getenv-absolute-directory "XDG_CONFIG_HOME") "common-lisp/")
                (loop :for dir :in (getenv-absolute-directories "XDG_CONFIG_DIRS")
                  :collect (subpathname* dir "common-lisp/"))))
           ,@(when (os-windows-p)
               `(,(subpathname* (get-folder-path :local-appdata) "common-lisp/config/")
                 ,(subpathname* (get-folder-path :appdata) "common-lisp/config/")))
52
           ,(subpathname (user-homedir-pathname) ".config/common-lisp/"))))
53 54 55 56 57 58 59
    (remove-duplicates (remove-if-not #'absolute-pathname-p dirs)
                       :from-end t :test 'equal)))

(defun* system-configuration-directories ()
  (cond
    ((os-unix-p) '(#p"/etc/common-lisp/"))
    ((os-windows-p)
60
     (if-let (it (subpathname* (get-folder-path :common-appdata) "common-lisp/config/"))
61
       (list it)))))
62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134

(defun* in-first-directory (dirs x &key (direction :input))
  (loop :with fun = (ecase direction
                      ((nil :input :probe) 'probe-file*)
                      ((:output :io) 'identity))
    :for dir :in dirs
    :thereis (and dir (funcall fun (merge-pathnames* x (ensure-directory-pathname dir))))))

(defun* in-user-configuration-directory (x &key (direction :input))
  (in-first-directory (user-configuration-directories) x :direction direction))
(defun* in-system-configuration-directory (x &key (direction :input))
  (in-first-directory (system-configuration-directories) x :direction direction))

(defun* configuration-inheritance-directive-p (x)
  (let ((kw '(:inherit-configuration :ignore-inherited-configuration)))
    (or (member x kw)
        (and (length=n-p x 1) (member (car x) kw)))))

(defun* report-invalid-form (reporter &rest args)
  (etypecase reporter
    (null
     (apply 'error 'invalid-configuration args))
    (function
     (apply reporter args))
    ((or symbol string)
     (apply 'error reporter args))
    (cons
     (apply 'apply (append reporter args)))))

(defvar *ignored-configuration-form* nil)

(defun* validate-configuration-form (form tag directive-validator
                                    &key location invalid-form-reporter)
  (unless (and (consp form) (eq (car form) tag))
    (setf *ignored-configuration-form* t)
    (report-invalid-form invalid-form-reporter :form form :location location)
    (return-from validate-configuration-form nil))
  (loop :with inherit = 0 :with ignore-invalid-p = nil :with x = (list tag)
    :for directive :in (cdr form)
    :when (cond
            ((configuration-inheritance-directive-p directive)
             (incf inherit) t)
            ((eq directive :ignore-invalid-entries)
             (setf ignore-invalid-p t) t)
            ((funcall directive-validator directive)
             t)
            (ignore-invalid-p
             nil)
            (t
             (setf *ignored-configuration-form* t)
             (report-invalid-form invalid-form-reporter :form directive :location location)
             nil))
    :do (push directive x)
    :finally
    (unless (= inherit 1)
      (report-invalid-form invalid-form-reporter
             :arguments (list (compatfmt "~@<One and only one of ~S or ~S is required.~@:>")
                              :inherit-configuration :ignore-inherited-configuration)))
    (return (nreverse x))))

(defun* validate-configuration-file (file validator &key description)
  (let ((forms (read-file-forms file)))
    (unless (length=n-p forms 1)
      (error (compatfmt "~@<One and only one form allowed for ~A. Got: ~3i~_~S~@:>~%")
             description forms))
    (funcall validator (car forms) :location file)))

(defun* validate-configuration-directory (directory tag validator &key invalid-form-reporter)
  "Map the VALIDATOR across the .conf files in DIRECTORY, the TAG will
be applied to the results to yield a configuration form.  Current
values of TAG include :source-registry and :output-translations."
  (let ((files (sort (ignore-errors
                       (remove-if
135
                        'hidden-pathname-p
136
                        (directory* (make-pathname :name *wild* :type "conf" :defaults directory))))
137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153
                     #'string< :key #'namestring)))
    `(,tag
      ,@(loop :for file :in files :append
          (loop :with ignore-invalid-p = nil
            :for form :in (read-file-forms file)
            :when (eq form :ignore-invalid-entries)
              :do (setf ignore-invalid-p t)
            :else
              :when (funcall validator form)
                :collect form
              :else
                :when ignore-invalid-p
                  :do (setf *ignored-configuration-form* t)
                :else
                  :do (report-invalid-form invalid-form-reporter :form form :location file)))
      :inherit-configuration)))

154
(defun* resolve-relative-location (x &key ensure-directory wilden)
155 156 157 158
  (ensure-pathname
   (etypecase x
     (pathname x)
     (string (parse-unix-namestring
159
              x :ensure-directory ensure-directory))
160 161
     (cons
      (if (null (cdr x))
162
          (resolve-relative-location
163
           (car x) :ensure-directory ensure-directory :wilden wilden)
164
          (let* ((car (resolve-relative-location
165
                       (car x) :ensure-directory t :wilden nil)))
166
            (merge-pathnames*
167
             (resolve-relative-location
168
              (cdr x) :ensure-directory ensure-directory :wilden wilden)
169 170 171 172 173 174
             car))))
     ((eql :*/) *wild-directory*)
     ((eql :**/) *wild-inferiors*)
     ((eql :*.*.*) *wild-file*)
     ((eql :implementation)
      (parse-unix-namestring
175
       (implementation-identifier) :ensure-directory t))
176 177
     ((eql :implementation-type)
      (parse-unix-namestring
178
       (string-downcase (implementation-type)) :ensure-directory t))
179
     ((eql :hostname)
180
      (parse-unix-namestring (hostname) :ensure-directory t)))
181 182
  :wilden (and wilden (not (pathnamep x)) (not (member x '(:*/ :**/ :*.*.*))))
  :want-relative t))
183 184 185 186 187 188

(defvar *here-directory* nil
  "This special variable is bound to the currect directory during calls to
PROCESS-SOURCE-REGISTRY in order that we be able to interpret the :here
directive.")

189 190
(defvar *user-cache* nil
  "A specification as per RESOLVE-LOCATION of where the user keeps his FASL cache")
191

192 193 194 195 196 197 198 199 200 201 202 203
(defun compute-user-cache ()
  (setf *user-cache*
        (flet ((try (x &rest sub) (and x `(,x ,@sub))))
          (or
           (try (getenv-absolute-directory "XDG_CACHE_HOME") "common-lisp" :implementation)
           (when (os-windows-p)
             (try (or (get-folder-path :local-appdata)
                      (get-folder-path :appdata))
                  "common-lisp" "cache" :implementation))
           '(:home ".cache" "common-lisp" :implementation)))))
(register-image-restore-hook 'compute-user-cache)

204
(defun* resolve-absolute-location (x &key ensure-directory wilden)
205 206 207 208 209 210 211
  (ensure-pathname
   (etypecase x
     (pathname x)
     (string
      (let ((p #-mcl (parse-namestring x)
               #+mcl (probe-posix x)))
        #+mcl (unless p (error "POSIX pathname ~S does not exist" x))
212
        (if ensure-directory (ensure-directory-pathname p) p)))
213
     (cons
214
      (return-from resolve-absolute-location
215
        (if (null (cdr x))
216
            (resolve-absolute-location
217
             (car x) :ensure-directory ensure-directory :wilden wilden)
218
            (merge-pathnames*
219
             (resolve-relative-location
220
              (cdr x) :ensure-directory ensure-directory :wilden wilden)
221
             (resolve-absolute-location
222
              (car x) :ensure-directory t :wilden nil)))))
223 224 225 226
     ((eql :root)
      ;; special magic! we return a relative pathname,
      ;; but what it means to the output-translations is
      ;; "relative to the root of the source pathname's host and device".
227
      (return-from resolve-absolute-location
228 229
        (let ((p (make-pathname* :directory '(:relative))))
          (if wilden (wilden p) p))))
230
     ((eql :home) (user-homedir-pathname))
231
     ((eql :here) (resolve-absolute-location
232
                   *here-directory* :ensure-directory t :wilden nil))
233
     ((eql :user-cache) (resolve-absolute-location
234
                         *user-cache* :ensure-directory t :wilden nil)))
235
   :wilden (and wilden (not (pathnamep x)))
236
   :resolve-symlinks *resolve-symlinks*
237
   :want-absolute t))
238

239 240 241 242
;; Try to override declaration in previous versions of ASDF.
(declaim (ftype (function (t &key (:directory boolean) (:wilden boolean)
                             (:ensure-directory boolean)) t) resolve-location))

243
(defun* (resolve-location) (x &key ensure-directory wilden directory)
244
  ;; :directory backward compatibility, until 2014-01-16: accept directory as well as ensure-directory
245 246 247 248 249 250 251 252 253 254 255 256 257 258
  (loop* :with dirp = (or directory ensure-directory)
         :with (first . rest) = (if (atom x) (list x) x)
         :with path = (resolve-absolute-location
                       first :ensure-directory (and (or dirp rest) t)
                             :wilden (and wilden (null rest)))
         :for (element . morep) :on rest
         :for dir = (and (or morep dirp) t)
         :for wild = (and wilden (not morep))
         :for sub = (merge-pathnames*
                     (resolve-relative-location
                      element :ensure-directory dir :wilden wild)
                     path)
         :do (setf path (if (absolute-pathname-p sub) (resolve-symlinks* sub) sub))
         :finally (return path)))
259 260 261 262

(defun* location-designator-p (x)
  (flet ((absolute-component-p (c)
           (typep c '(or string pathname
263
                      (member :root :home :here :user-cache))))
264 265
         (relative-component-p (c)
           (typep c '(or string pathname
266
                      (member :*/ :**/ :*.*.* :implementation :implementation-type)))))
267 268 269 270 271 272 273 274 275 276 277 278 279 280 281
    (or (typep x 'boolean)
        (absolute-component-p x)
        (and (consp x) (absolute-component-p (first x)) (every #'relative-component-p (rest x))))))

(defun* location-function-p (x)
  (and
   (length=n-p x 2)
   (eq (car x) :function)
   (or (symbolp (cadr x))
       (and (consp (cadr x))
            (eq (caadr x) 'lambda)
            (length=n-p (cadadr x) 2)))))

(defvar *clear-configuration-hook* '())

282 283 284
(defun* register-clear-configuration-hook (hook-function &optional call-now-p)
  (register-hook-function '*clear-configuration-hook* hook-function call-now-p))

285
(defun* clear-configuration ()
286
  (call-functions *clear-configuration-hook*))
287

288
(register-image-dump-hook 'clear-configuration)
289 290 291 292 293 294 295 296

;; If a previous version of ASDF failed to read some configuration, try again.
(defun* upgrade-configuration ()
  (when *ignored-configuration-form*
    (clear-configuration)
    (setf *ignored-configuration-form* nil)))