gnu: Add r-flowsom.
[jackhill/guix/guix.git] / guix / grafts.scm
CommitLineData
7adf9b84 1;;; GNU Guix --- Functional package management for GNU
aad086d8 2;;; Copyright © 2014, 2015, 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org>
7adf9b84
LC
3;;;
4;;; This file is part of GNU Guix.
5;;;
6;;; GNU Guix is free software; you can redistribute it and/or modify it
7;;; under the terms of the GNU General Public License as published by
8;;; the Free Software Foundation; either version 3 of the License, or (at
9;;; your option) any later version.
10;;;
11;;; GNU Guix is distributed in the hope that it will be useful, but
12;;; WITHOUT ANY WARRANTY; without even the implied warranty of
13;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14;;; GNU General Public License for more details.
15;;;
16;;; You should have received a copy of the GNU General Public License
17;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
18
19(define-module (guix grafts)
c22a1324
LC
20 #:use-module (guix store)
21 #:use-module (guix monads)
7adf9b84
LC
22 #:use-module (guix records)
23 #:use-module (guix derivations)
24 #:use-module ((guix utils) #:select (%current-system))
aad086d8 25 #:use-module (guix sets)
7adf9b84 26 #:use-module (srfi srfi-1)
acb01e37 27 #:use-module (srfi srfi-9 gnu)
7adf9b84 28 #:use-module (srfi srfi-26)
c90cb5c9 29 #:use-module (srfi srfi-34)
7adf9b84 30 #:use-module (ice-9 match)
c90cb5c9 31 #:use-module (ice-9 vlist)
7adf9b84
LC
32 #:export (graft?
33 graft
34 graft-origin
35 graft-replacement
36 graft-origin-output
37 graft-replacement-output
38
39 graft-derivation
c22a1324 40 graft-derivation/shallow
7adf9b84
LC
41
42 %graft?
c6080c32
LC
43 set-grafting
44 grafting?))
7adf9b84
LC
45
46(define-record-type* <graft> graft make-graft
47 graft?
48 (origin graft-origin) ;derivation | store item
49 (origin-output graft-origin-output ;string | #f
50 (default "out"))
51 (replacement graft-replacement) ;derivation | store item
52 (replacement-output graft-replacement-output ;string | #f
53 (default "out")))
54
acb01e37
LC
55(define (write-graft graft port)
56 "Write a concise representation of GRAFT to PORT."
57 (define (->string thing output)
58 (if (derivation? thing)
59 (derivation->output-path thing output)
60 thing))
61
62 (match graft
63 (($ <graft> origin origin-output replacement replacement-output)
64 (format port "#<graft ~a ==> ~a ~a>"
65 (->string origin origin-output)
66 (->string replacement replacement-output)
67 (number->string (object-address graft) 16)))))
68
69(set-record-type-printer! <graft> write-graft)
70
c22a1324
LC
71(define (graft-origin-file-name graft)
72 "Return the output file name of the origin of GRAFT."
73 (match graft
74 (($ <graft> (? derivation? origin) output)
75 (derivation->output-path origin output))
76 (($ <graft> (? string? item))
77 item)))
78
79(define* (graft-derivation/shallow store drv grafts
80 #:key
81 (name (derivation-name drv))
fd7d1235 82 (outputs (derivation-output-names drv))
c22a1324
LC
83 (guile (%guile-for-build))
84 (system (%current-system)))
fd7d1235
LC
85 "Return a derivation called NAME, which applies GRAFTS to the specified
86OUTPUTS of DRV. This procedure performs \"shallow\" grafting in that GRAFTS
87are not recursively applied to dependencies of DRV."
7adf9b84
LC
88 ;; XXX: Someday rewrite using gexps.
89 (define mapping
90 ;; List of store item pairs.
91 (map (match-lambda
92 (($ <graft> source source-output target target-output)
93 (cons (if (derivation? source)
94 (derivation->output-path source source-output)
95 source)
96 (if (derivation? target)
97 (derivation->output-path target target-output)
98 target))))
99 grafts))
100
fd7d1235
LC
101 (define output-pairs
102 (map (lambda (output)
103 (cons output
104 (derivation-output-path
105 (assoc-ref (derivation-outputs drv) output))))
106 outputs))
7adf9b84
LC
107
108 (define build
109 `(begin
110 (use-modules (guix build graft)
111 (guix build utils)
112 (ice-9 match))
113
fd7d1235 114 (let* ((old-outputs ',output-pairs)
f376dc3a
LC
115 (mapping (append ',mapping
116 (map (match-lambda
117 ((name . file)
118 (cons (assoc-ref old-outputs name)
119 file)))
120 %outputs))))
e4297aa8 121 (graft old-outputs %outputs mapping))))
7adf9b84
LC
122
123 (define add-label
124 (cut cons "x" <>))
125
64fd1c01
LC
126 (define properties
127 `((type . graft)
128 (graft (count . ,(length grafts)))))
129
7adf9b84
LC
130 (match grafts
131 ((($ <graft> sources source-outputs targets target-outputs) ...)
132 (let ((sources (zip sources source-outputs))
133 (targets (zip targets target-outputs)))
134 (build-expression->derivation store name build
135 #:system system
136 #:guile-for-build guile
137 #:modules '((guix build graft)
93c33389
LC
138 (guix build utils)
139 (guix build debug-link)
140 (guix elf))
7adf9b84
LC
141 #:inputs `(,@(map (lambda (out)
142 `("x" ,drv ,out))
fd7d1235 143 outputs)
7adf9b84
LC
144 ,@(append (map add-label sources)
145 (map add-label targets)))
fd7d1235 146 #:outputs outputs
7bc5657f
LC
147
148 ;; Grafts are computationally cheap so no
149 ;; need to offload or substitute.
64fd1c01 150 #:local-build? #t
7bc5657f
LC
151 #:substitutable? #f
152
64fd1c01 153 #:properties properties)))))
c22a1324 154
c90cb5c9 155(define (non-self-references references drv outputs)
c22a1324 156 "Return the list of references of the OUTPUTS of DRV, excluding self
c90cb5c9
LC
157references. Call REFERENCES to get the list of references."
158 (let ((refs (append-map (compose references
159 (cut derivation->output-path drv <>))
c22a1324
LC
160 outputs))
161 (self (match (derivation->output-paths drv)
162 (((names . items) ...)
163 items))))
164 (remove (cut member <> self) refs)))
165
9616b81e
LC
166(define (references-oracle store input)
167 "Return a one-argument procedure that, when passed the output file names of
168INPUT, a derivation input, or their dependencies, returns the list of
169references of that item. Use either local info or substitute info; build
170INPUT if no information is available."
c90cb5c9 171 (define (references* items)
f9e8a123 172 (guard (c ((store-protocol-error? c)
c90cb5c9
LC
173 ;; As a last resort, build DRV and query the references of the
174 ;; build result.
264fdedb
LC
175
176 ;; Warm up the narinfo cache, otherwise each derivation build
177 ;; will result in one HTTP request to get one narinfo, which is
178 ;; much less efficient than fetching them all upfront.
9616b81e
LC
179 (substitution-oracle store
180 (list (derivation-input-derivation input)))
264fdedb 181
9616b81e 182 (and (build-derivations store (list input))
c90cb5c9
LC
183 (map (cut references store <>) items))))
184 (references/substitutes store items)))
185
9616b81e 186 (let loop ((items (derivation-input-output-paths input))
c90cb5c9
LC
187 (result vlist-null))
188 (match items
189 (()
190 (lambda (item)
191 (match (vhash-assoc item result)
192 ((_ . refs) refs)
193 (#f #f))))
194 (_
195 (let* ((refs (references* items))
196 (result (fold vhash-cons result items refs)))
197 (loop (remove (cut vhash-assoc <> result)
198 (delete-duplicates (concatenate refs) string=?))
199 result))))))
200
d38bc9a9
LC
201(define-syntax-rule (with-cache key exp ...)
202 "Cache the value of monadic expression EXP under KEY."
203 (mlet %state-monad ((cache (current-state)))
482fda27 204 (match (vhash-assoc key cache)
d38bc9a9
LC
205 ((_ . result) ;cache hit
206 (return result))
207 (#f ;cache miss
0aeed5e3
LC
208 (mlet %state-monad ((result (begin exp ...))
209 (cache (current-state)))
90ad5c88 210 (mbegin %state-monad
482fda27 211 (set-current-state (vhash-cons key result cache))
90ad5c88 212 (return result)))))))
d38bc9a9 213
aad086d8
LC
214(define (reference-origin drv item)
215 "Return the derivation/output pair among the inputs of DRV, recursively,
216that produces ITEM. Return #f if ITEM is not produced by a derivation (i.e.,
217it's a content-addressed \"source\"), or if it's not produced by a dependency
218of DRV."
219 ;; Perform a breadth-first traversal of the dependency graph of DRV in
220 ;; search of the derivation that produces ITEM.
221 (let loop ((drv (list drv))
222 (visited (setq)))
223 (match drv
224 (()
225 #f)
226 ((drv . rest)
227 (if (set-contains? visited drv)
228 (loop rest visited)
229 (let ((inputs (derivation-inputs drv)))
230 (or (any (lambda (input)
231 (let ((drv (derivation-input-derivation input)))
232 (any (match-lambda
233 ((output . file)
234 (and (string=? file item)
235 (cons drv output))))
236 (derivation->output-paths drv))))
237 inputs)
238 (loop (append rest (map derivation-input-derivation inputs))
239 (set-insert drv visited)))))))))
240
c22a1324 241(define* (cumulative-grafts store drv grafts
c90cb5c9 242 references
c22a1324
LC
243 #:key
244 (outputs (derivation-output-names drv))
245 (guile (%guile-for-build))
246 (system (%current-system)))
247 "Augment GRAFTS with additional grafts resulting from the application of
c90cb5c9
LC
248GRAFTS to the dependencies of DRV; REFERENCES must be a one-argument procedure
249that returns the list of references of the store item it is given. Return the
d4da602e
LC
250resulting list of grafts.
251
252This is a monadic procedure in %STATE-MONAD where the state is a vhash mapping
253derivations to the corresponding set of grafts."
b013c33f
LC
254 (define (graft-origin? drv graft)
255 ;; Return true if DRV corresponds to the origin of GRAFT.
256 (match graft
257 (($ <graft> (? derivation? origin) output)
258 (match (assoc-ref (derivation->output-paths drv) output)
259 ((? string? result)
260 (string=? result
261 (derivation->output-path origin output)))
262 (_
263 #f)))
264 (_
265 #f)))
266
c22a1324 267 (define (dependency-grafts item)
aad086d8
LC
268 (match (reference-origin drv item)
269 ((drv . output)
270 ;; If GRAFTS already contains a graft from DRV, do not override it.
271 (if (find (cut graft-origin? drv <>) grafts)
272 (state-return grafts)
273 (cumulative-grafts store drv grafts references
274 #:outputs (list output)
275 #:guile guile
276 #:system system)))
277 (#f
278 (state-return grafts))))
d4da602e 279
482fda27 280 (with-cache (cons (derivation-file-name drv) outputs)
d38bc9a9
LC
281 (match (non-self-references references drv outputs)
282 (() ;no dependencies
d4da602e 283 (return grafts))
d38bc9a9
LC
284 (deps ;one or more dependencies
285 (mlet %state-monad ((grafts (mapm %state-monad dependency-grafts deps)))
286 (let ((grafts (delete-duplicates (concatenate grafts) equal?)))
287 (match (filter (lambda (graft)
288 (member (graft-origin-file-name graft) deps))
289 grafts)
290 (()
291 (return grafts))
292 ((applicable ..1)
293 ;; Use APPLICABLE, the subset of GRAFTS that is really
294 ;; applicable to DRV, to avoid creating several identical
295 ;; grafted variants of DRV.
296 (let* ((new (graft-derivation/shallow store drv applicable
482fda27 297 #:outputs outputs
d38bc9a9
LC
298 #:guile guile
299 #:system system))
d38bc9a9
LC
300 (grafts (append (map (lambda (output)
301 (graft
302 (origin drv)
303 (origin-output output)
304 (replacement new)
305 (replacement-output output)))
482fda27 306 outputs)
d38bc9a9
LC
307 grafts)))
308 (return grafts))))))))))
c22a1324
LC
309
310(define* (graft-derivation store drv grafts
482fda27
LC
311 #:key
312 (guile (%guile-for-build))
313 (outputs (derivation-output-names drv))
c22a1324 314 (system (%current-system)))
482fda27
LC
315 "Apply GRAFTS to the OUTPUTS of DRV and all their dependencies, recursively.
316That is, if GRAFTS apply only indirectly to DRV, graft the dependencies of
317DRV, and graft DRV itself to refer to those grafted dependencies."
c22a1324 318
c90cb5c9
LC
319 ;; First, pre-compute the dependency tree of the outputs of DRV. Do this
320 ;; upfront to have as much parallelism as possible when querying substitute
321 ;; info or when building DRV.
322 (define references
9616b81e 323 (references-oracle store (derivation-input drv outputs)))
c22a1324 324
d4da602e
LC
325 (match (run-with-state
326 (cumulative-grafts store drv grafts references
482fda27 327 #:outputs outputs
d4da602e
LC
328 #:guile guile #:system system)
329 vlist-null) ;the initial cache
c22a1324
LC
330 ((first . rest)
331 ;; If FIRST is not a graft for DRV, it means that GRAFTS are not
332 ;; applicable to DRV and nothing needs to be done.
333 (if (equal? drv (graft-origin first))
334 (graft-replacement first)
335 drv))))
7adf9b84
LC
336
337\f
338;; The following might feel more at home in (guix packages) but since (guix
339;; gexp), which is a lower level, needs them, we put them here.
340
341(define %graft?
342 ;; Whether to honor package grafts by default.
343 (make-parameter #t))
344
345(define (set-grafting enable?)
346 "This monadic procedure enables grafting when ENABLE? is true, and disables
347it otherwise. It returns the previous setting."
348 (lambda (store)
349 (values (%graft? enable?) store)))
350
c6080c32
LC
351(define (grafting?)
352 "Return a Boolean indicating whether grafting is enabled."
353 (lambda (store)
354 (values (%graft?) store)))
355
d38bc9a9
LC
356;; Local Variables:
357;; eval: (put 'with-cache 'scheme-indent-function 1)
358;; End:
359
7adf9b84 360;;; grafts.scm ends here