123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386 |
- ;;; GNU Guix --- Functional package management for GNU
- ;;; Copyright © 2016, 2017 Andy Patterson <ajpatter@uwaterloo.ca>
- ;;; Copyright © 2019 Guillaume Le Vaillant <glv@posteo.net>
- ;;;
- ;;; This file is part of GNU Guix.
- ;;;
- ;;; GNU Guix is free software; you can redistribute it and/or modify it
- ;;; under the terms of the GNU General Public License as published by
- ;;; the Free Software Foundation; either version 3 of the License, or (at
- ;;; your option) any later version.
- ;;;
- ;;; GNU Guix is distributed in the hope that it will be useful, but
- ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
- ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- ;;; GNU General Public License for more details.
- ;;;
- ;;; You should have received a copy of the GNU General Public License
- ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
- (define-module (guix build-system asdf)
- #:use-module (guix store)
- #:use-module (guix utils)
- #:use-module (guix memoization)
- #:use-module (guix packages)
- #:use-module (guix derivations)
- #:use-module (guix search-paths)
- #:use-module ((guix build utils)
- #:select ((package-name->name+version
- . hyphen-separated-name->name+version)))
- #:use-module (guix build-system)
- #:use-module (guix build-system gnu)
- #:use-module (ice-9 match)
- #:use-module (ice-9 regex)
- #:use-module (srfi srfi-1)
- #:use-module (srfi srfi-26)
- #:use-module (gnu packages)
- #:export (%asdf-build-system-modules
- %asdf-build-modules
- asdf-build
- asdf-build-system/sbcl
- asdf-build-system/ecl
- asdf-build-system/source
- sbcl-package->cl-source-package
- sbcl-package->ecl-package))
- ;; Commentary:
- ;;
- ;; Standard build procedure for asdf packages. This is implemented as an
- ;; extension of 'gnu-build-system'.
- ;;
- ;; Code:
- (define %asdf-build-system-modules
- ;; Imported build-side modules
- `((guix build asdf-build-system)
- (guix build lisp-utils)
- ,@%gnu-build-system-modules))
- (define %asdf-build-modules
- ;; Used (visible) build-side modules
- '((guix build asdf-build-system)
- (guix build utils)
- (guix build lisp-utils)))
- (define (default-lisp implementation)
- "Return the default package for the lisp IMPLEMENTATION."
- ;; Lazily resolve the binding to avoid a circular dependency.
- (let ((lisp-module (resolve-interface '(gnu packages lisp))))
- (module-ref lisp-module implementation)))
- (define* (lower/source name
- #:key source inputs outputs native-inputs system target
- #:allow-other-keys
- #:rest arguments)
- "Return a bag for NAME"
- (define private-keywords
- '(#:target #:inputs #:native-inputs))
- (and (not target)
- (bag
- (name name)
- (system system)
- (host-inputs `(,@(if source
- `(("source" ,source))
- '())
- ,@inputs
- ,@(standard-packages)))
- (build-inputs native-inputs)
- (outputs outputs)
- (build asdf-build/source)
- (arguments (strip-keyword-arguments private-keywords arguments)))))
- (define* (asdf-build/source store name inputs
- #:key source outputs
- (phases '(@ (guix build asdf-build-system)
- %standard-phases/source))
- (search-paths '())
- (system (%current-system))
- (guile #f)
- (imported-modules %asdf-build-system-modules)
- (modules %asdf-build-modules))
- (define builder
- `(begin
- (use-modules ,@modules)
- (asdf-build/source #:name ,name
- #:source ,(match (assoc-ref inputs "source")
- (((? derivation? source))
- (derivation->output-path source))
- ((source) source)
- (source source))
- #:system ,system
- #:phases ,phases
- #:outputs %outputs
- #:search-paths ',(map search-path-specification->sexp
- search-paths)
- #:inputs %build-inputs)))
- (define guile-for-build
- (match guile
- ((? package?)
- (package-derivation store guile system #:graft? #f))
- (#f
- (let* ((distro (resolve-interface '(gnu packages commencement)))
- (guile (module-ref distro 'guile-final)))
- (package-derivation store guile system #:graft? #f)))))
- (build-expression->derivation store name builder
- #:inputs inputs
- #:system system
- #:modules imported-modules
- #:outputs outputs
- #:guile-for-build guile-for-build))
- (define* (package-with-build-system from-build-system to-build-system
- from-prefix to-prefix
- #:key variant-property
- phases-transformer)
- "Return a precedure which takes a package PKG which uses FROM-BUILD-SYSTEM,
- and returns one using TO-BUILD-SYSTEM. If PKG was prefixed by FROM-PREFIX,
- the resulting package will be prefixed by TO-PREFIX. Inputs of PKG are
- recursively transformed using the same rule. The result's #:phases argument
- will be modified by PHASES-TRANSFORMER, an S-expression which evaluates on the
- build side to a procedure of one argument.
- VARIANT-PROPERTY can be added to a package's properties to indicate that the
- corresponding package promise should be used as the result of this
- transformation. This allows the result to differ from what the transformation
- would otherwise produce.
- If TO-BUILD-SYSTEM is asdf-build-system/source, the resulting package will be
- set up using CL source package conventions."
- (define target-is-source? (eq? asdf-build-system/source to-build-system))
- (define (transform-package-name name)
- (if (string-prefix? from-prefix name)
- (let ((new-name (string-drop name (string-length from-prefix))))
- (if (string-prefix? to-prefix new-name)
- new-name
- (string-append to-prefix new-name)))
- name))
- (define (has-from-build-system? pkg)
- (eq? from-build-system (package-build-system pkg)))
- (define (find-input-package pkg)
- (let* ((name (package-name pkg))
- (new-name (transform-package-name name))
- (pkgs (find-packages-by-name new-name)))
- (if (null? pkgs) #f (list-ref pkgs 0))))
- (define transform
- (mlambda (pkg)
- (define rewrite
- (match-lambda
- ((name content . rest)
- (let* ((is-package? (package? content))
- (new-content (if is-package?
- (or (find-input-package content)
- (transform content))
- content)))
- `(,name ,new-content ,@rest)))))
- ;; Special considerations for source packages: CL inputs become
- ;; propagated, and un-handled arguments are removed.
- (define (new-propagated-inputs)
- (if target-is-source?
- (map rewrite
- (append
- (filter (match-lambda
- ((_ input . _)
- (has-from-build-system? input)))
- (append (package-inputs pkg)
- ;; The native inputs might be needed just
- ;; to load the system.
- (package-native-inputs pkg)))
- (package-propagated-inputs pkg)))
- (map rewrite (package-propagated-inputs pkg))))
- (define (new-inputs inputs-getter)
- (if target-is-source?
- (map rewrite
- (filter (match-lambda
- ((_ input . _)
- (not (has-from-build-system? input))))
- (inputs-getter pkg)))
- (map rewrite (inputs-getter pkg))))
- (define base-arguments
- (if target-is-source?
- (strip-keyword-arguments
- '(#:tests? #:asd-file #:lisp #:asd-system-name #:test-asd-file)
- (package-arguments pkg))
- (package-arguments pkg)))
- (cond
- ((and variant-property
- (assoc-ref (package-properties pkg) variant-property))
- => force)
- ((has-from-build-system? pkg)
- (package
- (inherit pkg)
- (location (package-location pkg))
- (name (transform-package-name (package-name pkg)))
- (build-system to-build-system)
- (arguments
- (substitute-keyword-arguments base-arguments
- ((#:phases phases) (list phases-transformer phases))))
- (inputs (new-inputs package-inputs))
- (propagated-inputs (new-propagated-inputs))
- (native-inputs (append (if target-is-source?
- (list (list (package-name pkg) pkg))
- '())
- (new-inputs package-native-inputs)))
- (outputs (if target-is-source?
- '("out")
- (package-outputs pkg)))))
- (else pkg))))
- transform)
- (define (strip-variant-as-necessary variant pkg)
- (define properties (package-properties pkg))
- (if (assoc variant properties)
- (package
- (inherit pkg)
- (properties (alist-delete variant properties)))
- pkg))
- (define (lower lisp-type)
- (lambda* (name
- #:key source inputs outputs native-inputs system target
- (lisp (default-lisp (string->symbol lisp-type)))
- #:allow-other-keys
- #:rest arguments)
- "Return a bag for NAME"
- (define private-keywords
- '(#:target #:inputs #:native-inputs #:lisp))
- (and (not target)
- (bag
- (name name)
- (system system)
- (host-inputs `(,@(if source
- `(("source" ,source))
- '())
- ,@inputs
- ,@(standard-packages)))
- (build-inputs `((,lisp-type ,lisp)
- ,@native-inputs))
- (outputs outputs)
- (build (asdf-build lisp-type))
- (arguments (strip-keyword-arguments private-keywords arguments))))))
- (define (asdf-build lisp-type)
- (lambda* (store name inputs
- #:key source outputs
- (tests? #t)
- (asd-file #f)
- (asd-system-name #f)
- (test-asd-file #f)
- (phases '(@ (guix build asdf-build-system)
- %standard-phases))
- (search-paths '())
- (system (%current-system))
- (guile #f)
- (imported-modules %asdf-build-system-modules)
- (modules %asdf-build-modules))
- (define system-name
- (or asd-system-name
- (string-drop
- ;; NAME is the value returned from `package-full-name'.
- (hyphen-separated-name->name+version name)
- (1+ (string-length lisp-type))))) ; drop the "<lisp>-" prefix.
- (define builder
- `(begin
- (use-modules ,@modules)
- (parameterize ((%lisp (string-append
- (assoc-ref %build-inputs ,lisp-type)
- "/bin/" ,lisp-type))
- (%lisp-type ,lisp-type))
- (asdf-build #:name ,name
- #:source ,(match (assoc-ref inputs "source")
- (((? derivation? source))
- (derivation->output-path source))
- ((source) source)
- (source source))
- #:asd-file ,(or asd-file (string-append system-name ".asd"))
- #:asd-system-name ,system-name
- #:test-asd-file ,test-asd-file
- #:system ,system
- #:tests? ,tests?
- #:phases ,phases
- #:outputs %outputs
- #:search-paths ',(map search-path-specification->sexp
- search-paths)
- #:inputs %build-inputs))))
- (define guile-for-build
- (match guile
- ((? package?)
- (package-derivation store guile system #:graft? #f))
- (#f
- (let* ((distro (resolve-interface '(gnu packages commencement)))
- (guile (module-ref distro 'guile-final)))
- (package-derivation store guile system #:graft? #f)))))
- (build-expression->derivation store name builder
- #:inputs inputs
- #:system system
- #:modules imported-modules
- #:outputs outputs
- #:guile-for-build guile-for-build)))
- (define asdf-build-system/sbcl
- (build-system
- (name 'asdf/sbcl)
- (description "The build system for ASDF binary packages using SBCL")
- (lower (lower "sbcl"))))
- (define asdf-build-system/ecl
- (build-system
- (name 'asdf/ecl)
- (description "The build system for ASDF binary packages using ECL")
- (lower (lower "ecl"))))
- (define asdf-build-system/source
- (build-system
- (name 'asdf/source)
- (description "The build system for ASDF source packages")
- (lower lower/source)))
- (define sbcl-package->cl-source-package
- (let* ((property 'cl-source-variant)
- (transformer
- (package-with-build-system asdf-build-system/sbcl
- asdf-build-system/source
- "sbcl-"
- "cl-"
- #:variant-property property
- #:phases-transformer
- '(const %standard-phases/source))))
- (lambda (pkg)
- (transformer
- (strip-variant-as-necessary property pkg)))))
- (define sbcl-package->ecl-package
- (let* ((property 'ecl-variant)
- (transformer
- (package-with-build-system asdf-build-system/sbcl
- asdf-build-system/ecl
- "sbcl-"
- "ecl-"
- #:variant-property property
- #:phases-transformer
- 'identity)))
- (lambda (pkg)
- (transformer
- (strip-variant-as-necessary property pkg)))))
- ;;; asdf.scm ends here
|