123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372 |
- ;;; GNU Guix --- Functional package management for GNU
- ;;; Copyright © 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021 Ludovic Courtès <ludo@gnu.org>
- ;;;
- ;;; 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 grafts)
- #:use-module (guix store)
- #:use-module (guix monads)
- #:use-module (guix records)
- #:use-module (guix combinators)
- #:use-module (guix derivations)
- #:use-module ((guix utils) #:select (%current-system))
- #:use-module (guix sets)
- #:use-module (srfi srfi-1)
- #:use-module (srfi srfi-9 gnu)
- #:use-module (srfi srfi-26)
- #:use-module (srfi srfi-34)
- #:use-module (srfi srfi-71)
- #:use-module (ice-9 match)
- #:use-module (ice-9 vlist)
- #:export (graft?
- graft
- graft-origin
- graft-replacement
- graft-origin-output
- graft-replacement-output
- graft-derivation
- graft-derivation/shallow
- %graft?
- without-grafting
- set-grafting
- grafting?))
- (define-record-type* <graft> graft make-graft
- graft?
- (origin graft-origin) ;derivation | store item
- (origin-output graft-origin-output ;string | #f
- (default "out"))
- (replacement graft-replacement) ;derivation | store item
- (replacement-output graft-replacement-output ;string | #f
- (default "out")))
- (define (write-graft graft port)
- "Write a concise representation of GRAFT to PORT."
- (define (->string thing output)
- (if (derivation? thing)
- (derivation->output-path thing output)
- thing))
- (match graft
- (($ <graft> origin origin-output replacement replacement-output)
- (format port "#<graft ~a ==> ~a ~a>"
- (->string origin origin-output)
- (->string replacement replacement-output)
- (number->string (object-address graft) 16)))))
- (set-record-type-printer! <graft> write-graft)
- (define (graft-origin-file-name graft)
- "Return the output file name of the origin of GRAFT."
- (match graft
- (($ <graft> (? derivation? origin) output)
- (derivation->output-path origin output))
- (($ <graft> (? string? item))
- item)))
- (define* (graft-derivation/shallow store drv grafts
- #:key
- (name (derivation-name drv))
- (outputs (derivation-output-names drv))
- (guile (%guile-for-build))
- (system (%current-system)))
- "Return a derivation called NAME, which applies GRAFTS to the specified
- OUTPUTS of DRV. This procedure performs \"shallow\" grafting in that GRAFTS
- are not recursively applied to dependencies of DRV."
- ;; XXX: Someday rewrite using gexps.
- (define mapping
- ;; List of store item pairs.
- (map (match-lambda
- (($ <graft> source source-output target target-output)
- (cons (if (derivation? source)
- (derivation->output-path source source-output)
- source)
- (if (derivation? target)
- (derivation->output-path target target-output)
- target))))
- grafts))
- (define output-pairs
- (map (lambda (output)
- (cons output
- (derivation-output-path
- (assoc-ref (derivation-outputs drv) output))))
- outputs))
- (define build
- `(begin
- (use-modules (guix build graft)
- (guix build utils)
- (ice-9 match))
- (let* ((old-outputs ',output-pairs)
- (mapping (append ',mapping
- (map (match-lambda
- ((name . file)
- (cons (assoc-ref old-outputs name)
- file)))
- %outputs))))
- (graft old-outputs %outputs mapping))))
- (define add-label
- (cut cons "x" <>))
- (define properties
- `((type . graft)
- (graft (count . ,(length grafts)))))
- (match grafts
- ((($ <graft> sources source-outputs targets target-outputs) ...)
- (let ((sources (zip sources source-outputs))
- (targets (zip targets target-outputs)))
- (build-expression->derivation store name build
- #:system system
- #:guile-for-build guile
- #:modules '((guix build graft)
- (guix build utils)
- (guix build debug-link)
- (guix elf))
- #:inputs `(,@(map (lambda (out)
- `("x" ,drv ,out))
- outputs)
- ,@(append (map add-label sources)
- (map add-label targets)))
- #:outputs outputs
- ;; Grafts are computationally cheap so no
- ;; need to offload or substitute.
- #:local-build? #t
- #:substitutable? #f
- #:properties properties)))))
- (define (non-self-references store drv outputs)
- "Return the list of references of the OUTPUTS of DRV, excluding self
- references."
- (define (references* items)
- ;; Return the references of ITEMS.
- (guard (c ((store-protocol-error? c)
- ;; ITEMS are not in store so build INPUT first.
- (and (build-derivations store (list drv))
- (append-map (cut references/cached store <>) items))))
- (append-map (cut references/cached store <>) items)))
- (let ((refs (references* (map (cut derivation->output-path drv <>)
- outputs)))
- (self (match (derivation->output-paths drv)
- (((names . items) ...)
- items))))
- (remove (cut member <> self) refs)))
- (define %graft-cache
- ;; Cache that maps derivation/outputs/grafts tuples to lists of grafts.
- (allocate-store-connection-cache 'grafts))
- (define record-cache-lookup!
- (cache-lookup-recorder "derivation-graft-cache"
- "Derivation graft cache"))
- (define-syntax-rule (with-cache key exp ...)
- "Cache the value of monadic expression EXP under KEY."
- (mlet* %state-monad ((cache (current-state))
- (result -> (vhash-assoc key cache)))
- (record-cache-lookup! result cache)
- (match result
- ((_ . result) ;cache hit
- (return result))
- (#f ;cache miss
- (mlet %state-monad ((result (begin exp ...))
- (cache (current-state)))
- (mbegin %state-monad
- (set-current-state (vhash-cons key result cache))
- (return result)))))))
- (define (reference-origins drv items)
- "Return the derivation/output pairs among the inputs of DRV, recursively,
- that produce ITEMS. Elements of ITEMS not produced by a derivation (i.e.,
- it's a content-addressed \"source\"), or not produced by a dependency of DRV,
- have no corresponding element in the resulting list."
- (define (lookup-derivers drv result items)
- ;; Return RESULT augmented by all the drv/output pairs producing one of
- ;; ITEMS, and ITEMS stripped of matching items.
- (fold2 (match-lambda*
- (((output . file) result items)
- (if (member file items)
- (values (alist-cons drv output result)
- (delete file items))
- (values result items))))
- result items
- (derivation->output-paths drv)))
- ;; Perform a breadth-first traversal of the dependency graph of DRV in
- ;; search of the derivations that produce ITEMS.
- (let loop ((drv (list drv))
- (items items)
- (result '())
- (visited (setq)))
- (match drv
- (()
- result)
- ((drv . rest)
- (cond ((null? items)
- result)
- ((set-contains? visited drv)
- (loop rest items result visited))
- (else
- (let* ((inputs
- (map derivation-input-derivation
- (derivation-inputs drv)))
- (result items
- (fold2 lookup-derivers
- result items inputs)))
- (loop (append rest inputs)
- items result
- (set-insert drv visited)))))))))
- (define* (cumulative-grafts store drv grafts
- #:key
- (outputs (derivation-output-names drv))
- (guile (%guile-for-build))
- (system (%current-system)))
- "Augment GRAFTS with additional grafts resulting from the application of
- GRAFTS to the dependencies of DRV. Return the resulting list of grafts.
- This is a monadic procedure in %STATE-MONAD where the state is a vhash mapping
- derivations to the corresponding set of grafts."
- (define (graft-origin? drv graft)
- ;; Return true if DRV corresponds to the origin of GRAFT.
- (match graft
- (($ <graft> (? derivation? origin) output)
- (match (assoc-ref (derivation->output-paths drv) output)
- ((? string? result)
- (string=? result
- (derivation->output-path origin output)))
- (_
- #f)))
- (_
- #f)))
- (define (dependency-grafts items)
- (mapm %store-monad
- (lambda (drv+output)
- (match drv+output
- ((drv . output)
- ;; If GRAFTS already contains a graft from DRV, do not
- ;; override it.
- (if (find (cut graft-origin? drv <>) grafts)
- (state-return grafts)
- (cumulative-grafts store drv grafts
- #:outputs (list output)
- #:guile guile
- #:system system)))))
- (reference-origins drv items)))
- (with-cache (list (derivation-file-name drv) outputs grafts)
- (match (non-self-references store drv outputs)
- (() ;no dependencies
- (return grafts))
- (deps ;one or more dependencies
- (mlet %state-monad ((grafts (dependency-grafts deps)))
- (let ((grafts (delete-duplicates (concatenate grafts) equal?)))
- (match (filter (lambda (graft)
- (member (graft-origin-file-name graft) deps))
- grafts)
- (()
- (return grafts))
- ((applicable ..1)
- ;; Use APPLICABLE, the subset of GRAFTS that is really
- ;; applicable to DRV, to avoid creating several identical
- ;; grafted variants of DRV.
- (let* ((new (graft-derivation/shallow store drv applicable
- #:outputs outputs
- #:guile guile
- #:system system))
- (grafts (append (map (lambda (output)
- (graft
- (origin drv)
- (origin-output output)
- (replacement new)
- (replacement-output output)))
- outputs)
- grafts)))
- (return grafts))))))))))
- (define* (graft-derivation store drv grafts
- #:key
- (guile (%guile-for-build))
- (outputs (derivation-output-names drv))
- (system (%current-system)))
- "Apply GRAFTS to the OUTPUTS of DRV and all their dependencies, recursively.
- That is, if GRAFTS apply only indirectly to DRV, graft the dependencies of
- DRV, and graft DRV itself to refer to those grafted dependencies."
- (let ((grafts cache
- (run-with-state
- (cumulative-grafts store drv grafts
- #:outputs outputs
- #:guile guile #:system system)
- (store-connection-cache store %graft-cache))))
- ;; Save CACHE in STORE to benefit from it on the next call.
- ;; XXX: Ideally we'd use %STORE-MONAD and 'mcached' and avoid mutating
- ;; STORE.
- (set-store-connection-cache! store %graft-cache cache)
- (match grafts
- ((first . rest)
- ;; If FIRST is not a graft for DRV, it means that GRAFTS are not
- ;; applicable to DRV and nothing needs to be done.
- (if (equal? drv (graft-origin first))
- (graft-replacement first)
- drv)))))
- ;; The following might feel more at home in (guix packages) but since (guix
- ;; gexp), which is a lower level, needs them, we put them here.
- (define %graft?
- ;; Whether to honor package grafts by default.
- (make-parameter #t))
- (define (call-without-grafting thunk)
- (lambda (store)
- (values (parameterize ((%graft? #f))
- (run-with-store store (thunk)))
- store)))
- (define-syntax-rule (without-grafting mexp ...)
- "Bind monadic expressions MEXP in a dynamic extent where '%graft?' is
- false."
- (call-without-grafting (lambda () (mbegin %store-monad mexp ...))))
- (define-inlinable (set-grafting enable?)
- ;; This monadic procedure enables grafting when ENABLE? is true, and
- ;; disables it otherwise. It returns the previous setting.
- (lambda (store)
- (values (%graft? enable?) store)))
- (define-inlinable (grafting?)
- ;; Return a Boolean indicating whether grafting is enabled.
- (lambda (store)
- (values (%graft?) store)))
- ;; Local Variables:
- ;; eval: (put 'with-cache 'scheme-indent-function 1)
- ;; End:
- ;;; grafts.scm ends here
|