2016-02-22 16:29:44 +01:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
|
|
|
|
;;; Copyright © 2014, 2015, 2016 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 (test-grafts)
|
2016-02-27 23:06:50 +01:00
|
|
|
|
#:use-module (guix gexp)
|
|
|
|
|
#:use-module (guix monads)
|
2016-02-22 16:29:44 +01:00
|
|
|
|
#:use-module (guix derivations)
|
|
|
|
|
#:use-module (guix store)
|
|
|
|
|
#:use-module (guix utils)
|
|
|
|
|
#:use-module (guix grafts)
|
|
|
|
|
#:use-module (guix tests)
|
|
|
|
|
#:use-module ((gnu packages) #:select (search-bootstrap-binary))
|
2016-02-27 23:06:50 +01:00
|
|
|
|
#:use-module (gnu packages bootstrap)
|
|
|
|
|
#:use-module (srfi srfi-1)
|
2016-02-22 16:29:44 +01:00
|
|
|
|
#:use-module (srfi srfi-64)
|
|
|
|
|
#:use-module (rnrs io ports))
|
|
|
|
|
|
|
|
|
|
(define %store
|
|
|
|
|
(open-connection-for-tests))
|
|
|
|
|
|
|
|
|
|
(define (bootstrap-binary name)
|
|
|
|
|
(let ((bin (search-bootstrap-binary name (%current-system))))
|
|
|
|
|
(and %store
|
|
|
|
|
(add-to-store %store name #t "sha256" bin))))
|
|
|
|
|
|
|
|
|
|
(define %bash
|
|
|
|
|
(bootstrap-binary "bash"))
|
|
|
|
|
(define %mkdir
|
|
|
|
|
(bootstrap-binary "mkdir"))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(test-begin "grafts")
|
|
|
|
|
|
2016-02-27 23:06:50 +01:00
|
|
|
|
(test-assert "graft-derivation, grafted item is a direct dependency"
|
2016-02-22 16:29:44 +01:00
|
|
|
|
(let* ((build `(begin
|
|
|
|
|
(mkdir %output)
|
|
|
|
|
(chdir %output)
|
|
|
|
|
(symlink %output "self")
|
|
|
|
|
(call-with-output-file "text"
|
|
|
|
|
(lambda (output)
|
|
|
|
|
(format output "foo/~a/bar" ,%mkdir)))
|
|
|
|
|
(symlink ,%bash "sh")))
|
2016-02-27 23:06:50 +01:00
|
|
|
|
(orig (build-expression->derivation %store "grafted" build
|
2016-02-22 16:29:44 +01:00
|
|
|
|
#:inputs `(("a" ,%bash)
|
|
|
|
|
("b" ,%mkdir))))
|
|
|
|
|
(one (add-text-to-store %store "bash" "fake bash"))
|
|
|
|
|
(two (build-expression->derivation %store "mkdir"
|
|
|
|
|
'(call-with-output-file %output
|
|
|
|
|
(lambda (port)
|
|
|
|
|
(display "fake mkdir" port)))))
|
2016-02-27 23:06:50 +01:00
|
|
|
|
(grafted (graft-derivation %store orig
|
|
|
|
|
(list (graft
|
|
|
|
|
(origin %bash)
|
|
|
|
|
(replacement one))
|
|
|
|
|
(graft
|
|
|
|
|
(origin %mkdir)
|
|
|
|
|
(replacement two))))))
|
|
|
|
|
(and (build-derivations %store (list grafted))
|
|
|
|
|
(let ((two (derivation->output-path two))
|
|
|
|
|
(grafted (derivation->output-path grafted)))
|
2016-02-22 16:29:44 +01:00
|
|
|
|
(and (string=? (format #f "foo/~a/bar" two)
|
2016-02-27 23:06:50 +01:00
|
|
|
|
(call-with-input-file (string-append grafted "/text")
|
2016-02-22 16:29:44 +01:00
|
|
|
|
get-string-all))
|
2016-02-27 23:06:50 +01:00
|
|
|
|
(string=? (readlink (string-append grafted "/sh")) one)
|
|
|
|
|
(string=? (readlink (string-append grafted "/self"))
|
|
|
|
|
grafted))))))
|
|
|
|
|
|
2016-10-03 23:02:46 +02:00
|
|
|
|
(test-assert "graft-derivation, grafted item uses a different name"
|
|
|
|
|
(let* ((build `(begin
|
|
|
|
|
(mkdir %output)
|
|
|
|
|
(chdir %output)
|
|
|
|
|
(symlink %output "self")
|
|
|
|
|
(symlink ,%bash "sh")))
|
|
|
|
|
(orig (build-expression->derivation %store "grafted" build
|
|
|
|
|
#:inputs `(("a" ,%bash))))
|
|
|
|
|
(repl (add-text-to-store %store "BaSH" "fake bash"))
|
|
|
|
|
(grafted (graft-derivation %store orig
|
|
|
|
|
(list (graft
|
|
|
|
|
(origin %bash)
|
|
|
|
|
(replacement repl))))))
|
|
|
|
|
(and (build-derivations %store (list grafted))
|
|
|
|
|
(let ((grafted (derivation->output-path grafted)))
|
|
|
|
|
(and (string=? (readlink (string-append grafted "/sh")) repl)
|
|
|
|
|
(string=? (readlink (string-append grafted "/self"))
|
|
|
|
|
grafted))))))
|
|
|
|
|
|
2016-02-27 23:06:50 +01:00
|
|
|
|
;; Make sure 'derivation-file-name' always gets to see an absolute file name.
|
|
|
|
|
(fluid-set! %file-port-name-canonicalization 'absolute)
|
|
|
|
|
|
|
|
|
|
(test-assert "graft-derivation, grafted item is an indirect dependency"
|
|
|
|
|
(let* ((build `(begin
|
|
|
|
|
(mkdir %output)
|
|
|
|
|
(chdir %output)
|
|
|
|
|
(symlink %output "self")
|
|
|
|
|
(call-with-output-file "text"
|
|
|
|
|
(lambda (output)
|
|
|
|
|
(format output "foo/~a/bar" ,%mkdir)))
|
|
|
|
|
(symlink ,%bash "sh")))
|
|
|
|
|
(dep (build-expression->derivation %store "dep" build
|
|
|
|
|
#:inputs `(("a" ,%bash)
|
|
|
|
|
("b" ,%mkdir))))
|
|
|
|
|
(orig (build-expression->derivation %store "thing"
|
|
|
|
|
'(symlink
|
|
|
|
|
(assoc-ref %build-inputs
|
|
|
|
|
"dep")
|
|
|
|
|
%output)
|
|
|
|
|
#:inputs `(("dep" ,dep))))
|
|
|
|
|
(one (add-text-to-store %store "bash" "fake bash"))
|
|
|
|
|
(two (build-expression->derivation %store "mkdir"
|
|
|
|
|
'(call-with-output-file %output
|
|
|
|
|
(lambda (port)
|
|
|
|
|
(display "fake mkdir" port)))))
|
|
|
|
|
(grafted (graft-derivation %store orig
|
|
|
|
|
(list (graft
|
|
|
|
|
(origin %bash)
|
|
|
|
|
(replacement one))
|
|
|
|
|
(graft
|
|
|
|
|
(origin %mkdir)
|
|
|
|
|
(replacement two))))))
|
|
|
|
|
(and (build-derivations %store (list grafted))
|
|
|
|
|
(let* ((two (derivation->output-path two))
|
|
|
|
|
(grafted (derivation->output-path grafted))
|
|
|
|
|
(dep (readlink grafted)))
|
|
|
|
|
(and (string=? (format #f "foo/~a/bar" two)
|
|
|
|
|
(call-with-input-file (string-append dep "/text")
|
|
|
|
|
get-string-all))
|
|
|
|
|
(string=? (readlink (string-append dep "/sh")) one)
|
|
|
|
|
(string=? (readlink (string-append dep "/self")) dep)
|
|
|
|
|
(equal? (references %store grafted) (list dep))
|
|
|
|
|
(lset= string=?
|
|
|
|
|
(list one two dep)
|
|
|
|
|
(references %store dep)))))))
|
|
|
|
|
|
2016-05-20 22:11:56 +02:00
|
|
|
|
(test-assert "graft-derivation, preserve empty directories"
|
|
|
|
|
(run-with-store %store
|
|
|
|
|
(mlet* %store-monad ((fake (text-file "bash" "Fake bash."))
|
|
|
|
|
(graft -> (graft
|
|
|
|
|
(origin %bash)
|
|
|
|
|
(replacement fake)))
|
|
|
|
|
(drv (gexp->derivation
|
|
|
|
|
"to-graft"
|
2016-07-12 18:00:16 +02:00
|
|
|
|
(with-imported-modules '((guix build utils))
|
|
|
|
|
#~(begin
|
|
|
|
|
(use-modules (guix build utils))
|
|
|
|
|
(mkdir-p (string-append #$output
|
|
|
|
|
"/a/b/c/d"))
|
|
|
|
|
(symlink #$%bash
|
|
|
|
|
(string-append #$output
|
|
|
|
|
"/bash"))))))
|
2016-05-20 22:11:56 +02:00
|
|
|
|
(grafted ((store-lift graft-derivation) drv
|
|
|
|
|
(list graft)))
|
|
|
|
|
(_ (built-derivations (list grafted)))
|
|
|
|
|
(out -> (derivation->output-path grafted)))
|
|
|
|
|
(return (and (string=? (readlink (string-append out "/bash"))
|
|
|
|
|
fake)
|
|
|
|
|
(file-is-directory? (string-append out "/a/b/c/d")))))))
|
|
|
|
|
|
2016-02-27 23:06:50 +01:00
|
|
|
|
(test-assert "graft-derivation, no dependencies on grafted output"
|
|
|
|
|
(run-with-store %store
|
|
|
|
|
(mlet* %store-monad ((fake (text-file "bash" "Fake bash."))
|
|
|
|
|
(graft -> (graft
|
|
|
|
|
(origin %bash)
|
|
|
|
|
(replacement fake)))
|
|
|
|
|
(drv (gexp->derivation "foo" #~(mkdir #$output)))
|
|
|
|
|
(grafted ((store-lift graft-derivation) drv
|
|
|
|
|
(list graft))))
|
|
|
|
|
(return (eq? grafted drv)))))
|
2016-02-22 16:29:44 +01:00
|
|
|
|
|
2016-02-27 23:28:35 +01:00
|
|
|
|
(test-assert "graft-derivation, multiple outputs"
|
|
|
|
|
(let* ((build `(begin
|
|
|
|
|
(symlink (assoc-ref %build-inputs "a")
|
|
|
|
|
(assoc-ref %outputs "one"))
|
|
|
|
|
(symlink (assoc-ref %outputs "one")
|
|
|
|
|
(assoc-ref %outputs "two"))))
|
|
|
|
|
(orig (build-expression->derivation %store "grafted" build
|
|
|
|
|
#:inputs `(("a" ,%bash))
|
|
|
|
|
#:outputs '("one" "two")))
|
|
|
|
|
(repl (add-text-to-store %store "bash" "fake bash"))
|
|
|
|
|
(grafted (graft-derivation %store orig
|
|
|
|
|
(list (graft
|
|
|
|
|
(origin %bash)
|
|
|
|
|
(replacement repl))))))
|
|
|
|
|
(and (build-derivations %store (list grafted))
|
|
|
|
|
(let ((one (derivation->output-path grafted "one"))
|
|
|
|
|
(two (derivation->output-path grafted "two")))
|
|
|
|
|
(and (string=? (readlink one) repl)
|
|
|
|
|
(string=? (readlink two) one))))))
|
|
|
|
|
|
2016-05-20 22:14:46 +02:00
|
|
|
|
(test-assert "graft-derivation, renaming" ;<http://bugs.gnu.org/23132>
|
|
|
|
|
(let* ((build `(begin
|
|
|
|
|
(use-modules (guix build utils))
|
|
|
|
|
(mkdir-p (string-append (assoc-ref %outputs "out") "/"
|
|
|
|
|
(assoc-ref %build-inputs "in")))))
|
|
|
|
|
(orig (build-expression->derivation %store "thing-to-graft" build
|
|
|
|
|
#:modules '((guix build utils))
|
|
|
|
|
#:inputs `(("in" ,%bash))))
|
|
|
|
|
(repl (add-text-to-store %store "bash" "fake bash"))
|
|
|
|
|
(grafted (graft-derivation %store orig
|
|
|
|
|
(list (graft
|
|
|
|
|
(origin %bash)
|
|
|
|
|
(replacement repl))))))
|
|
|
|
|
(and (build-derivations %store (list grafted))
|
|
|
|
|
(let ((out (derivation->output-path grafted)))
|
|
|
|
|
(file-is-directory? (string-append out "/" repl))))))
|
|
|
|
|
|
2016-10-14 18:56:48 +02:00
|
|
|
|
(test-assert "graft-derivation, grafts are not shadowed"
|
|
|
|
|
;; We build a DAG as below, where dotted arrows represent replacements and
|
|
|
|
|
;; solid arrows represent dependencies:
|
|
|
|
|
;;
|
|
|
|
|
;; P1 ·············> P1R
|
|
|
|
|
;; |\__________________.
|
|
|
|
|
;; v v
|
|
|
|
|
;; P2 ·············> P2R
|
|
|
|
|
;; |
|
|
|
|
|
;; v
|
|
|
|
|
;; P3
|
|
|
|
|
;;
|
|
|
|
|
;; We want to make sure that the two grafts we want to apply to P3 are
|
|
|
|
|
;; honored and not shadowed by other computed grafts.
|
|
|
|
|
(let* ((p1 (build-expression->derivation
|
|
|
|
|
%store "p1"
|
|
|
|
|
'(mkdir (assoc-ref %outputs "out"))))
|
|
|
|
|
(p1r (build-expression->derivation
|
|
|
|
|
%store "P1"
|
|
|
|
|
'(let ((out (assoc-ref %outputs "out")))
|
|
|
|
|
(mkdir out)
|
|
|
|
|
(call-with-output-file (string-append out "/replacement")
|
|
|
|
|
(const #t)))))
|
|
|
|
|
(p2 (build-expression->derivation
|
|
|
|
|
%store "p2"
|
|
|
|
|
`(let ((out (assoc-ref %outputs "out")))
|
|
|
|
|
(mkdir out)
|
|
|
|
|
(chdir out)
|
|
|
|
|
(symlink (assoc-ref %build-inputs "p1") "p1"))
|
|
|
|
|
#:inputs `(("p1" ,p1))))
|
|
|
|
|
(p2r (build-expression->derivation
|
|
|
|
|
%store "P2"
|
|
|
|
|
`(let ((out (assoc-ref %outputs "out")))
|
|
|
|
|
(mkdir out)
|
|
|
|
|
(chdir out)
|
|
|
|
|
(symlink (assoc-ref %build-inputs "p1") "p1")
|
|
|
|
|
(call-with-output-file (string-append out "/replacement")
|
|
|
|
|
(const #t)))
|
|
|
|
|
#:inputs `(("p1" ,p1))))
|
|
|
|
|
(p3 (build-expression->derivation
|
|
|
|
|
%store "p3"
|
|
|
|
|
`(let ((out (assoc-ref %outputs "out")))
|
|
|
|
|
(mkdir out)
|
|
|
|
|
(chdir out)
|
|
|
|
|
(symlink (assoc-ref %build-inputs "p2") "p2"))
|
|
|
|
|
#:inputs `(("p2" ,p2))))
|
|
|
|
|
(p1g (graft
|
|
|
|
|
(origin p1)
|
|
|
|
|
(replacement p1r)))
|
|
|
|
|
(p2g (graft
|
|
|
|
|
(origin p2)
|
|
|
|
|
(replacement (graft-derivation %store p2r (list p1g)))))
|
|
|
|
|
(p3d (graft-derivation %store p3 (list p1g p2g))))
|
|
|
|
|
(and (build-derivations %store (list p3d))
|
|
|
|
|
(let ((out (derivation->output-path (pk p3d))))
|
|
|
|
|
;; Make sure OUT refers to the replacement of P2, which in turn
|
|
|
|
|
;; refers to the replacement of P1, as specified by P1G and P2G.
|
|
|
|
|
;; It used to be the case that P2G would be shadowed by a simple
|
|
|
|
|
;; P2->P2R graft, which is not what we want.
|
|
|
|
|
(and (file-exists? (string-append out "/p2/replacement"))
|
|
|
|
|
(file-exists? (string-append out "/p2/p1/replacement")))))))
|
|
|
|
|
|
2016-02-22 16:29:44 +01:00
|
|
|
|
(test-end)
|