1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
|
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2012, 2013, 2014, 2015 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-union)
#:use-module (guix tests)
#:use-module (guix store)
#:use-module (guix utils)
#:use-module (guix derivations)
#:use-module (guix packages)
#:use-module (guix build union)
#:use-module ((guix build utils)
#:select (with-directory-excursion directory-exists?))
#:use-module (gnu packages bootstrap)
#:use-module (srfi srfi-1)
#:use-module (srfi srfi-64)
#:use-module (rnrs io ports)
#:use-module (ice-9 match))
;; Exercise the (guix build union) module.
(define %store
(open-connection-for-tests))
(test-begin "union")
(test-assert "union-build with symlink to directory"
;; http://bugs.gnu.org/17083
;; Here both ONE and TWO provide an element called 'foo', but in ONE it's a
;; directory whereas in TWO it's a symlink to a directory.
(let* ((one (build-expression->derivation
%store "one"
'(begin
(use-modules (guix build utils) (srfi srfi-26))
(let ((foo (string-append %output "/foo")))
(mkdir-p foo)
(call-with-output-file (string-append foo "/one")
(cut display "one" <>))))
#:modules '((guix build utils))))
(two (build-expression->derivation
%store "two"
'(begin
(use-modules (guix build utils) (srfi srfi-26))
(let ((foo (string-append %output "/foo"))
(bar (string-append %output "/bar")))
(mkdir-p bar)
(call-with-output-file (string-append bar "/two")
(cut display "two" <>))
(symlink "bar" foo)))
#:modules '((guix build utils))))
(builder '(begin
(use-modules (guix build union))
(union-build (assoc-ref %outputs "out")
(list (assoc-ref %build-inputs "one")
(assoc-ref %build-inputs "two")))))
(drv
(build-expression->derivation %store "union-collision-symlink"
builder
#:inputs `(("one" ,one) ("two" ,two))
#:modules '((guix build union)))))
(and (build-derivations %store (list drv))
(with-directory-excursion (pk (derivation->output-path drv))
(and (string=? "one"
(call-with-input-file "foo/one" get-string-all))
(string=? "two"
(call-with-input-file "foo/two" get-string-all))
(string=? "two"
(call-with-input-file "bar/two" get-string-all))
(not (file-exists? "bar/one")))))))
(test-skip (if (and %store (network-reachable?))
0
1))
(test-assert "union-build"
(let* ((inputs (map (match-lambda
((name package)
`(,name ,(package-derivation %store package))))
;; Purposefully leave duplicate entries.
(append %bootstrap-inputs
(take %bootstrap-inputs 3))))
(builder `(begin
(use-modules (guix build union))
(union-build (assoc-ref %outputs "out")
(map cdr %build-inputs))))
(drv
(build-expression->derivation %store "union-test"
builder
#:inputs inputs
#:modules '((guix build union)))))
(and (build-derivations %store (list (pk 'drv drv)))
(with-directory-excursion (derivation->output-path drv)
(and (file-exists? "bin/touch")
(file-exists? "bin/gcc")
(file-exists? "bin/ld")
(file-exists? "lib/libc.so")
(directory-exists? "lib/gcc")
(file-exists? "include/unistd.h")
;; The 'include/c++' sub-directory is only found in
;; gcc-bootstrap, so it should be unified in a
;; straightforward way, without traversing it.
(eq? 'symlink (stat:type (lstat "include/c++")))
;; Conversely, several inputs have a 'bin' sub-directory, so
;; unifying it requires traversing them all, and creating a
;; new 'bin' sub-directory in the profile.
(eq? 'directory (stat:type (lstat "bin"))))))))
(test-end)
|