2016-02-22 16:29:44 +01:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2020-03-25 14:46:34 +01:00
|
|
|
|
;;; Copyright © 2014, 2015, 2016, 2017, 2018, 2019, 2020 Ludovic Courtès <ludo@gnu.org>
|
2016-02-22 16:29:44 +01:00
|
|
|
|
;;;
|
|
|
|
|
;;; 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)
|
2016-02-27 23:06:50 +01:00
|
|
|
|
#:use-module (guix store)
|
|
|
|
|
#:use-module (guix monads)
|
2016-02-22 16:29:44 +01:00
|
|
|
|
#:use-module (guix records)
|
2020-06-06 18:46:49 +02:00
|
|
|
|
#:use-module (guix combinators)
|
2016-02-22 16:29:44 +01:00
|
|
|
|
#:use-module (guix derivations)
|
|
|
|
|
#:use-module ((guix utils) #:select (%current-system))
|
2019-06-19 21:50:45 +02:00
|
|
|
|
#:use-module (guix sets)
|
2016-02-22 16:29:44 +01:00
|
|
|
|
#:use-module (srfi srfi-1)
|
2020-06-06 18:46:49 +02:00
|
|
|
|
#:use-module (srfi srfi-11)
|
2016-02-26 12:42:15 +01:00
|
|
|
|
#:use-module (srfi srfi-9 gnu)
|
2016-02-22 16:29:44 +01:00
|
|
|
|
#:use-module (srfi srfi-26)
|
2016-03-04 21:49:08 +01:00
|
|
|
|
#:use-module (srfi srfi-34)
|
2016-02-22 16:29:44 +01:00
|
|
|
|
#:use-module (ice-9 match)
|
2016-03-04 21:49:08 +01:00
|
|
|
|
#:use-module (ice-9 vlist)
|
2016-02-22 16:29:44 +01:00
|
|
|
|
#:export (graft?
|
|
|
|
|
graft
|
|
|
|
|
graft-origin
|
|
|
|
|
graft-replacement
|
|
|
|
|
graft-origin-output
|
|
|
|
|
graft-replacement-output
|
|
|
|
|
|
|
|
|
|
graft-derivation
|
2016-02-27 23:06:50 +01:00
|
|
|
|
graft-derivation/shallow
|
2016-02-22 16:29:44 +01:00
|
|
|
|
|
|
|
|
|
%graft?
|
2015-11-20 18:44:29 +01:00
|
|
|
|
set-grafting
|
|
|
|
|
grafting?))
|
2016-02-22 16:29:44 +01:00
|
|
|
|
|
|
|
|
|
(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")))
|
|
|
|
|
|
2016-02-26 12:42:15 +01:00
|
|
|
|
(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)
|
|
|
|
|
|
2016-02-27 23:06:50 +01:00
|
|
|
|
(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))
|
2017-01-24 17:48:24 +01:00
|
|
|
|
(outputs (derivation-output-names drv))
|
2016-02-27 23:06:50 +01:00
|
|
|
|
(guile (%guile-for-build))
|
|
|
|
|
(system (%current-system)))
|
2017-01-24 17:48:24 +01:00
|
|
|
|
"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."
|
2016-02-22 16:29:44 +01:00
|
|
|
|
;; 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))
|
|
|
|
|
|
2017-01-24 17:48:24 +01:00
|
|
|
|
(define output-pairs
|
|
|
|
|
(map (lambda (output)
|
|
|
|
|
(cons output
|
|
|
|
|
(derivation-output-path
|
|
|
|
|
(assoc-ref (derivation-outputs drv) output))))
|
|
|
|
|
outputs))
|
2016-02-22 16:29:44 +01:00
|
|
|
|
|
|
|
|
|
(define build
|
|
|
|
|
`(begin
|
|
|
|
|
(use-modules (guix build graft)
|
|
|
|
|
(guix build utils)
|
|
|
|
|
(ice-9 match))
|
|
|
|
|
|
2017-01-24 17:48:24 +01:00
|
|
|
|
(let* ((old-outputs ',output-pairs)
|
2016-02-27 23:28:35 +01:00
|
|
|
|
(mapping (append ',mapping
|
|
|
|
|
(map (match-lambda
|
|
|
|
|
((name . file)
|
|
|
|
|
(cons (assoc-ref old-outputs name)
|
|
|
|
|
file)))
|
|
|
|
|
%outputs))))
|
2018-08-21 15:09:11 +02:00
|
|
|
|
(graft old-outputs %outputs mapping))))
|
2016-02-22 16:29:44 +01:00
|
|
|
|
|
|
|
|
|
(define add-label
|
|
|
|
|
(cut cons "x" <>))
|
|
|
|
|
|
2018-11-26 22:27:39 +01:00
|
|
|
|
(define properties
|
|
|
|
|
`((type . graft)
|
|
|
|
|
(graft (count . ,(length grafts)))))
|
|
|
|
|
|
2016-02-22 16:29:44 +01:00
|
|
|
|
(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)
|
2018-08-21 22:39:41 +02:00
|
|
|
|
(guix build utils)
|
|
|
|
|
(guix build debug-link)
|
|
|
|
|
(guix elf))
|
2016-02-22 16:29:44 +01:00
|
|
|
|
#:inputs `(,@(map (lambda (out)
|
|
|
|
|
`("x" ,drv ,out))
|
2017-01-24 17:48:24 +01:00
|
|
|
|
outputs)
|
2016-02-22 16:29:44 +01:00
|
|
|
|
,@(append (map add-label sources)
|
|
|
|
|
(map add-label targets)))
|
2017-01-24 17:48:24 +01:00
|
|
|
|
#:outputs outputs
|
2018-12-04 10:43:28 +01:00
|
|
|
|
|
|
|
|
|
;; Grafts are computationally cheap so no
|
|
|
|
|
;; need to offload or substitute.
|
2018-11-26 22:27:39 +01:00
|
|
|
|
#:local-build? #t
|
2018-12-04 10:43:28 +01:00
|
|
|
|
#:substitutable? #f
|
|
|
|
|
|
2018-11-26 22:27:39 +01:00
|
|
|
|
#:properties properties)))))
|
2016-02-27 23:06:50 +01:00
|
|
|
|
|
2020-04-01 22:51:46 +02:00
|
|
|
|
(define (non-self-references store drv outputs)
|
2016-02-27 23:06:50 +01:00
|
|
|
|
"Return the list of references of the OUTPUTS of DRV, excluding self
|
2020-04-01 22:51:46 +02:00
|
|
|
|
references."
|
2016-03-04 21:49:08 +01:00
|
|
|
|
(define (references* items)
|
2020-03-25 14:46:34 +01:00
|
|
|
|
;; Return the references of ITEMS.
|
store: Rename '&nix-error' to '&store-error'.
* guix/store.scm (&nix-error): Rename to...
(&store-error): ... this, and adjust users.
(&nix-connection-error): Rename to...
(&store-connection-error): ... this, and adjust users.
(&nix-protocol-error): Rename to...
(&store-protocol-error): ... this, adjust users.
(&nix-error, &nix-connection-error, &nix-protocol-error): Define these
condition types and their getters as deprecrated aliases.
* build-aux/run-system-tests.scm, guix/derivations.scm,
guix/grafts.scm, guix/scripts/challenge.scm,
guix/scripts/graph.scm, guix/scripts/lint.scm,
guix/scripts/offload.scm, guix/serialization.scm,
guix/ssh.scm, guix/tests.scm, guix/ui.scm,
tests/derivations.scm, tests/gexp.scm, tests/guix-daemon.sh,
tests/packages.scm, tests/store.scm, doc/guix.texi: Adjust to use the
new names.
2019-01-21 17:41:11 +01:00
|
|
|
|
(guard (c ((store-protocol-error? c)
|
2020-03-25 14:46:34 +01:00
|
|
|
|
;; ITEMS are not in store so build INPUT first.
|
2020-04-01 22:51:46 +02:00
|
|
|
|
(and (build-derivations store (list drv))
|
|
|
|
|
(append-map (cut references/cached store <>) items))))
|
|
|
|
|
(append-map (cut references/cached store <>) items)))
|
2016-03-04 21:49:08 +01:00
|
|
|
|
|
2020-04-01 22:51:46 +02:00
|
|
|
|
(let ((refs (references* (map (cut derivation->output-path drv <>)
|
|
|
|
|
outputs)))
|
|
|
|
|
(self (match (derivation->output-paths drv)
|
|
|
|
|
(((names . items) ...)
|
|
|
|
|
items))))
|
|
|
|
|
(remove (cut member <> self) refs)))
|
2016-03-04 21:49:08 +01:00
|
|
|
|
|
2017-01-04 10:43:08 +01:00
|
|
|
|
(define-syntax-rule (with-cache key exp ...)
|
|
|
|
|
"Cache the value of monadic expression EXP under KEY."
|
|
|
|
|
(mlet %state-monad ((cache (current-state)))
|
2017-01-25 10:20:02 +01:00
|
|
|
|
(match (vhash-assoc key cache)
|
2017-01-04 10:43:08 +01:00
|
|
|
|
((_ . result) ;cache hit
|
|
|
|
|
(return result))
|
|
|
|
|
(#f ;cache miss
|
2017-01-16 22:05:43 +01:00
|
|
|
|
(mlet %state-monad ((result (begin exp ...))
|
|
|
|
|
(cache (current-state)))
|
2017-01-16 21:59:00 +01:00
|
|
|
|
(mbegin %state-monad
|
2017-01-25 10:20:02 +01:00
|
|
|
|
(set-current-state (vhash-cons key result cache))
|
2017-01-16 21:59:00 +01:00
|
|
|
|
(return result)))))))
|
2017-01-04 10:43:08 +01:00
|
|
|
|
|
2020-06-06 18:46:49 +02:00
|
|
|
|
(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)))
|
|
|
|
|
|
2019-06-19 21:50:45 +02:00
|
|
|
|
;; Perform a breadth-first traversal of the dependency graph of DRV in
|
2020-06-06 18:46:49 +02:00
|
|
|
|
;; search of the derivations that produce ITEMS.
|
2019-06-19 21:50:45 +02:00
|
|
|
|
(let loop ((drv (list drv))
|
2020-06-06 18:46:49 +02:00
|
|
|
|
(items items)
|
|
|
|
|
(result '())
|
2019-06-19 21:50:45 +02:00
|
|
|
|
(visited (setq)))
|
|
|
|
|
(match drv
|
|
|
|
|
(()
|
2020-06-06 18:46:49 +02:00
|
|
|
|
result)
|
2019-06-19 21:50:45 +02:00
|
|
|
|
((drv . rest)
|
2020-06-06 18:46:49 +02:00
|
|
|
|
(cond ((null? items)
|
|
|
|
|
result)
|
|
|
|
|
((set-contains? visited drv)
|
|
|
|
|
(loop rest items result visited))
|
|
|
|
|
(else
|
|
|
|
|
(let*-values (((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)))))))))
|
2019-06-19 21:50:45 +02:00
|
|
|
|
|
2016-02-27 23:06:50 +01:00
|
|
|
|
(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
|
2020-04-01 22:51:46 +02:00
|
|
|
|
GRAFTS to the dependencies of DRV. Return the resulting list of grafts.
|
2016-03-04 23:10:28 +01:00
|
|
|
|
|
|
|
|
|
This is a monadic procedure in %STATE-MONAD where the state is a vhash mapping
|
|
|
|
|
derivations to the corresponding set of grafts."
|
2016-10-14 18:56:48 +02:00
|
|
|
|
(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)))
|
|
|
|
|
|
2020-06-06 18:46:49 +02:00
|
|
|
|
(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)))
|
2016-03-04 23:10:28 +01:00
|
|
|
|
|
2017-01-25 10:20:02 +01:00
|
|
|
|
(with-cache (cons (derivation-file-name drv) outputs)
|
2020-04-01 22:51:46 +02:00
|
|
|
|
(match (non-self-references store drv outputs)
|
2017-01-04 10:43:08 +01:00
|
|
|
|
(() ;no dependencies
|
2016-03-04 23:10:28 +01:00
|
|
|
|
(return grafts))
|
2017-01-04 10:43:08 +01:00
|
|
|
|
(deps ;one or more dependencies
|
2020-06-06 18:46:49 +02:00
|
|
|
|
(mlet %state-monad ((grafts (dependency-grafts deps)))
|
2017-01-04 10:43:08 +01:00
|
|
|
|
(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
|
2017-01-25 10:20:02 +01:00
|
|
|
|
#:outputs outputs
|
2017-01-04 10:43:08 +01:00
|
|
|
|
#:guile guile
|
|
|
|
|
#:system system))
|
|
|
|
|
(grafts (append (map (lambda (output)
|
|
|
|
|
(graft
|
|
|
|
|
(origin drv)
|
|
|
|
|
(origin-output output)
|
|
|
|
|
(replacement new)
|
|
|
|
|
(replacement-output output)))
|
2017-01-25 10:20:02 +01:00
|
|
|
|
outputs)
|
2017-01-04 10:43:08 +01:00
|
|
|
|
grafts)))
|
|
|
|
|
(return grafts))))))))))
|
2016-02-27 23:06:50 +01:00
|
|
|
|
|
|
|
|
|
(define* (graft-derivation store drv grafts
|
2017-01-25 10:20:02 +01:00
|
|
|
|
#:key
|
|
|
|
|
(guile (%guile-for-build))
|
|
|
|
|
(outputs (derivation-output-names drv))
|
2016-02-27 23:06:50 +01:00
|
|
|
|
(system (%current-system)))
|
2017-01-25 10:20:02 +01:00
|
|
|
|
"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."
|
2016-03-04 23:10:28 +01:00
|
|
|
|
(match (run-with-state
|
2020-04-01 22:51:46 +02:00
|
|
|
|
(cumulative-grafts store drv grafts
|
2017-01-25 10:20:02 +01:00
|
|
|
|
#:outputs outputs
|
2016-03-04 23:10:28 +01:00
|
|
|
|
#:guile guile #:system system)
|
|
|
|
|
vlist-null) ;the initial cache
|
2016-02-27 23:06:50 +01:00
|
|
|
|
((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))))
|
2016-02-22 16:29:44 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;; 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 (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)))
|
|
|
|
|
|
2015-11-20 18:44:29 +01:00
|
|
|
|
(define (grafting?)
|
|
|
|
|
"Return a Boolean indicating whether grafting is enabled."
|
|
|
|
|
(lambda (store)
|
|
|
|
|
(values (%graft?) store)))
|
|
|
|
|
|
2017-01-04 10:43:08 +01:00
|
|
|
|
;; Local Variables:
|
|
|
|
|
;; eval: (put 'with-cache 'scheme-indent-function 1)
|
|
|
|
|
;; End:
|
|
|
|
|
|
2016-02-22 16:29:44 +01:00
|
|
|
|
;;; grafts.scm ends here
|