scripts: show: Replace 'args-fold*' by 'parse-command-line'.
[jackhill/guix/guix.git] / guix / tests.scm
CommitLineData
c1bc358f 1;;; GNU Guix --- Functional package management for GNU
31825398 2;;; Copyright © 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020 Ludovic Courtès <ludo@gnu.org>
c1bc358f
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 tests)
19c924af 20 #:use-module ((guix config) #:select (%storedir %localstatedir))
c1bc358f
LC
21 #:use-module (guix store)
22 #:use-module (guix derivations)
23 #:use-module (guix packages)
6eebbab5 24 #:use-module (guix base32)
e6c8839c 25 #:use-module (guix serialization)
1ba0b1e6 26 #:use-module (guix monads)
03d76577 27 #:use-module ((guix utils) #:select (substitute-keyword-arguments))
1ba0b1e6 28 #:use-module ((guix build utils) #:select (mkdir-p))
ce0be567 29 #:use-module ((gcrypt hash) #:hide (sha256))
2bba832f 30 #:use-module (guix build-system gnu)
03d76577 31 #:use-module (gnu packages base)
c1bc358f 32 #:use-module (gnu packages bootstrap)
1ba0b1e6 33 #:use-module (srfi srfi-26)
c1bc358f 34 #:use-module (srfi srfi-34)
9ed86fe1 35 #:use-module (srfi srfi-64)
c1bc358f 36 #:use-module (rnrs bytevectors)
1ba0b1e6 37 #:use-module (ice-9 match)
2535635f 38 #:use-module (ice-9 binary-ports)
e6740741 39 #:use-module (web uri)
c1bc358f 40 #:export (open-connection-for-tests
19c924af 41 with-external-store
2a991f3a 42 %seed
c1bc358f 43 random-text
e6740741 44 random-bytevector
8de3df72 45 file=?
83908698 46 canonical-file?
12d720fd 47 network-reachable?
b69c5c2c 48 shebang-too-long?
22f95e02
LC
49 with-environment-variable
50
1ba0b1e6
LC
51 search-bootstrap-binary
52
694b317c 53 mock
24f5aaaf 54 %test-substitute-urls
9ed86fe1
LC
55 test-assertm
56 test-equalm
e6c8839c 57 %substitute-directory
8b385969 58 with-derivation-narinfo
e6c8839c 59 with-derivation-substitute
f77bcbc3 60 dummy-package
03d76577
LC
61 dummy-origin
62
63 gnu-make-for-tests))
c1bc358f
LC
64
65;;; Commentary:
66;;;
67;;; This module provide shared infrastructure for the test suite. For
68;;; internal use only.
69;;;
70;;; Code:
71
24f5aaaf
LC
72(define %test-substitute-urls
73 ;; URLs where to look for substitutes during tests.
74 (make-parameter
75 (or (and=> (getenv "GUIX_BINARY_SUBSTITUTE_URL") list)
76 '())))
77
1397b422 78(define* (open-connection-for-tests #:optional (uri (%daemon-socket-uri)))
c1bc358f 79 "Open a connection to the build daemon for tests purposes and return it."
f9e8a123 80 (guard (c ((store-error? c)
c1bc358f
LC
81 (format (current-error-port)
82 "warning: build daemon error: ~s~%" c)
83 #f))
1397b422 84 (let ((store (open-connection uri)))
c1bc358f 85 ;; Make sure we build everything by ourselves.
24f5aaaf
LC
86 (set-build-options store
87 #:use-substitutes? #f
88 #:substitute-urls (%test-substitute-urls))
c1bc358f
LC
89
90 ;; Use the bootstrap Guile when running tests, so we don't end up
91 ;; building everything in the temporary test store.
92 (%guile-for-build (package-derivation store %bootstrap-guile))
93
94 store)))
95
1ba0b1e6
LC
96(define (bootstrap-binary-file program system)
97 "Return the absolute file name where bootstrap binary PROGRAM for SYSTEM is
98stored."
99 (string-append (dirname (search-path %load-path
100 "gnu/packages/bootstrap.scm"))
101 "/bootstrap/" system "/" program))
102
103(define (search-bootstrap-binary file-name system)
104 "Search the bootstrap binary FILE-NAME for SYSTEM. Raise an error if not
105found."
106 ;; Note: Keep bootstrap binaries on the local file system so that the 'guix'
107 ;; package can provide them as inputs and copy them to the right place.
108 (let* ((system (match system
109 ("x86_64-linux" "i686-linux")
110 (_ system)))
111 (file (bootstrap-binary-file file-name system)))
112 (if (file-exists? file)
113 file
114 (with-store store
115 (run-with-store store
116 (mlet %store-monad ((drv (origin->derivation
117 (bootstrap-executable file-name system))))
118 (mbegin %store-monad
119 (built-derivations (list drv))
120 (begin
121 (mkdir-p (dirname file))
122 (copy-file (derivation->output-path drv) file)
123 (return file)))))))))
124
19c924af
LC
125(define (call-with-external-store proc)
126 "Call PROC with an open connection to the external store or #f it there is
127no external store to talk to."
128 (parameterize ((%daemon-socket-uri
129 (string-append %localstatedir
130 "/guix/daemon-socket/socket"))
131 (%store-prefix %storedir))
132 (define store
133 (catch #t
134 (lambda ()
135 (open-connection))
136 (const #f)))
137
138 (dynamic-wind
139 (const #t)
140 (lambda ()
141 ;; Since we're using a different store we must clear the
142 ;; package-derivation cache.
31825398 143 (hash-clear! (@@ (guix packages) %derivation-cache))
19c924af
LC
144
145 (proc store))
146 (lambda ()
147 (when store
148 (close-connection store))))))
149
150(define-syntax-rule (with-external-store store exp ...)
151 "Evaluate EXP with STORE bound to the external store rather than the
152temporary test store, or #f if there is no external store to talk to.
153
154This is meant to be used for tests that need to build packages that would be
155too expensive to build entirely in the test store."
156 (call-with-external-store (lambda (store) exp ...)))
157
79477def
LC
158(define (random-seed)
159 (or (and=> (getenv "GUIX_TESTS_RANDOM_SEED")
160 number->string)
161 (logxor (getpid) (car (gettimeofday)))))
162
ccf3dcba 163(define (%seed)
79477def
LC
164 (let ((seed (random-seed)))
165 (format (current-error-port) "random seed for tests: ~a~%"
166 seed)
ccf3dcba
LC
167 (let ((result (seed->random-state seed)))
168 (set! %seed (lambda () result))
169 result)))
c1bc358f
LC
170
171(define (random-text)
172 "Return the hexadecimal representation of a random number."
ccf3dcba 173 (number->string (random (expt 2 256) (%seed)) 16))
c1bc358f
LC
174
175(define (random-bytevector n)
176 "Return a random bytevector of N bytes."
177 (let ((bv (make-bytevector n)))
178 (let loop ((i 0))
179 (if (< i n)
180 (begin
ccf3dcba 181 (bytevector-u8-set! bv i (random 256 (%seed)))
c1bc358f
LC
182 (loop (1+ i)))
183 bv))))
184
8de3df72
LC
185(define (file=? a b)
186 "Return true if files A and B have the same type and same content."
187 (and (eq? (stat:type (lstat a)) (stat:type (lstat b)))
188 (case (stat:type (lstat a))
189 ((regular)
190 (equal?
191 (call-with-input-file a get-bytevector-all)
192 (call-with-input-file b get-bytevector-all)))
193 ((symlink)
194 (string=? (readlink a) (readlink b)))
195 (else
196 (error "what?" (lstat a))))))
197
83908698
LC
198(define (canonical-file? file)
199 "Return #t if FILE is in the store, is read-only, and its mtime is 1."
200 (let ((st (lstat file)))
201 (or (not (string-prefix? (%store-prefix) file))
202 (eq? 'symlink (stat:type st))
203 (and (= 1 (stat:mtime st))
204 (zero? (logand #o222 (stat:mode st)))))))
205
12d720fd
LC
206(define (network-reachable?)
207 "Return true if we can reach the Internet."
208 (false-if-exception (getaddrinfo "www.gnu.org" "80" AI_NUMERICSERV)))
209
694b317c
EB
210(define-syntax-rule (mock (module proc replacement) body ...)
211 "Within BODY, replace the definition of PROC from MODULE with the definition
212given by REPLACEMENT."
213 (let* ((m (resolve-module 'module))
214 (original (module-ref m 'proc)))
215 (dynamic-wind
216 (lambda () (module-set! m 'proc replacement))
217 (lambda () body ...)
218 (lambda () (module-set! m 'proc original)))))
219
9ed86fe1
LC
220(define-syntax-rule (test-assertm name exp)
221 "Like 'test-assert', but EXP is a monadic value. A new connection to the
222store is opened."
223 (test-assert name
224 (let ((store (open-connection-for-tests)))
225 (dynamic-wind
226 (const #t)
227 (lambda ()
228 (run-with-store store exp
229 #:guile-for-build (%guile-for-build)))
230 (lambda ()
231 (close-connection store))))))
232
233(define-syntax-rule (test-equalm name value exp)
234 "Like 'test-equal', but EXP is a monadic value. A new connection to the
235store is opened."
236 (test-equal name
237 value
238 (with-store store
239 (run-with-store store exp
240 #:guile-for-build (%guile-for-build)))))
241
22f95e02
LC
242(define-syntax-rule (with-environment-variable variable value body ...)
243 "Run BODY with VARIABLE set to VALUE."
244 (let ((orig (getenv variable)))
245 (dynamic-wind
246 (lambda ()
247 (setenv variable value))
248 (lambda ()
249 body ...)
250 (lambda ()
251 (if orig
252 (setenv variable orig)
253 (unsetenv variable))))))
254
e6740741
LC
255\f
256;;;
257;;; Narinfo files, as used by the substituter.
258;;;
259
6eebbab5 260(define* (derivation-narinfo drv #:key (nar "example.nar")
7bfeb9df
LC
261 (sha256 (make-bytevector 32 0))
262 (references '()))
263 "Return the contents of the narinfo corresponding to DRV, with the specified
264REFERENCES (a list of store items); NAR should be the file name of the archive
265containing the substitute for DRV, and SHA256 is the expected hash."
e6740741
LC
266 (format #f "StorePath: ~a
267URL: ~a
268Compression: none
269NarSize: 1234
6eebbab5 270NarHash: sha256:~a
7bfeb9df 271References: ~a
e6740741
LC
272System: ~a
273Deriver: ~a~%"
274 (derivation->output-path drv) ; StorePath
275 nar ; URL
6eebbab5 276 (bytevector->nix-base32-string sha256) ; NarHash
7bfeb9df 277 (string-join (map basename references)) ; References
e6740741
LC
278 (derivation-system drv) ; System
279 (basename
280 (derivation-file-name drv)))) ; Deriver
281
e6c8839c
LC
282(define %substitute-directory
283 (make-parameter
284 (and=> (getenv "GUIX_BINARY_SUBSTITUTE_URL")
285 (compose uri-path string->uri))))
286
6eebbab5 287(define* (call-with-derivation-narinfo drv thunk
7bfeb9df
LC
288 #:key
289 (sha256 (make-bytevector 32 0))
290 (references '()))
e6740741 291 "Call THUNK in a context where fake substituter data, as read by 'guix
2c74fde0 292substitute', has been installed for DRV. SHA256 is the hash of the
6eebbab5 293expected output of DRV."
e6740741 294 (let* ((output (derivation->output-path drv))
e6c8839c 295 (dir (%substitute-directory))
e6740741
LC
296 (info (string-append dir "/nix-cache-info"))
297 (narinfo (string-append dir "/" (store-path-hash-part output)
298 ".narinfo")))
299 (dynamic-wind
300 (lambda ()
301 (call-with-output-file info
302 (lambda (p)
303 (format p "StoreDir: ~a\nWantMassQuery: 0\n"
304 (%store-prefix))))
305 (call-with-output-file narinfo
306 (lambda (p)
7bfeb9df
LC
307 (display (derivation-narinfo drv #:sha256 sha256
308 #:references references)
309 p))))
e6740741
LC
310 thunk
311 (lambda ()
312 (delete-file narinfo)
313 (delete-file info)))))
314
6eebbab5 315(define-syntax with-derivation-narinfo
7bfeb9df 316 (syntax-rules (sha256 references =>)
6eebbab5 317 "Evaluate BODY in a context where DRV looks substitutable from the
e6740741 318substituter's viewpoint."
7bfeb9df 319 ((_ drv (sha256 => hash) (references => refs) body ...)
6eebbab5
LC
320 (call-with-derivation-narinfo drv
321 (lambda () body ...)
7bfeb9df
LC
322 #:sha256 hash
323 #:references refs))
324 ((_ drv (sha256 => hash) body ...)
325 (with-derivation-narinfo drv
326 (sha256 => hash) (references => '())
327 body ...))
6eebbab5
LC
328 ((_ drv body ...)
329 (call-with-derivation-narinfo drv
330 (lambda ()
331 body ...)))))
e6740741 332
e6c8839c 333(define* (call-with-derivation-substitute drv contents thunk
7bfeb9df
LC
334 #:key
335 sha256
336 (references '()))
e6c8839c
LC
337 "Call THUNK in a context where a substitute for DRV has been installed,
338using CONTENTS, a string, as its contents. If SHA256 is true, use it as the
339expected hash of the substitute; otherwise use the hash of the nar containing
340CONTENTS."
341 (define dir (%substitute-directory))
342 (dynamic-wind
343 (lambda ()
344 (call-with-output-file (string-append dir "/example.out")
345 (lambda (port)
346 (display contents port)))
347 (call-with-output-file (string-append dir "/example.nar")
348 (lambda (p)
349 (write-file (string-append dir "/example.out") p))))
350 (lambda ()
351 (let ((hash (call-with-input-file (string-append dir "/example.nar")
352 port-sha256)))
2c74fde0 353 ;; Create fake substituter data, to be read by 'guix substitute'.
e6c8839c
LC
354 (call-with-derivation-narinfo drv
355 thunk
7bfeb9df
LC
356 #:sha256 (or sha256 hash)
357 #:references references)))
e6c8839c
LC
358 (lambda ()
359 (delete-file (string-append dir "/example.out"))
360 (delete-file (string-append dir "/example.nar")))))
361
b69c5c2c
LC
362(define (shebang-too-long?)
363 "Return true if the typical shebang in the current store would exceed
364Linux's static limit---the BINPRM_BUF_SIZE constant, normally 128 characters
365all included."
366 (define shebang
367 (string-append "#!" (%store-prefix) "/"
368 (make-string 32 #\a)
369 "-bootstrap-binaries-0/bin/bash\0"))
370
371 (> (string-length shebang) 128))
372
e6c8839c 373(define-syntax with-derivation-substitute
7bfeb9df 374 (syntax-rules (sha256 references =>)
e6c8839c
LC
375 "Evaluate BODY in a context where DRV is substitutable with the given
376CONTENTS."
7bfeb9df 377 ((_ drv contents (sha256 => hash) (references => refs) body ...)
e6c8839c
LC
378 (call-with-derivation-substitute drv contents
379 (lambda () body ...)
7bfeb9df
LC
380 #:sha256 hash
381 #:references refs))
382 ((_ drv contents (sha256 => hash) body ...)
383 (with-derivation-substitute drv contents
384 (sha256 => hash) (references => '())
385 body ...))
e6c8839c
LC
386 ((_ drv contents body ...)
387 (call-with-derivation-substitute drv contents
388 (lambda ()
389 body ...)))))
390
8b385969
LC
391(define-syntax-rule (dummy-package name* extra-fields ...)
392 "Return a \"dummy\" package called NAME*, with all its compulsory fields
393initialized with default values, and with EXTRA-FIELDS set as specified."
2c5ee9bb
LC
394 (let ((p (package
395 (name name*) (version "0") (source #f)
396 (build-system gnu-build-system)
397 (synopsis #f) (description #f)
398 (home-page #f) (license #f))))
399 (package (inherit p) extra-fields ...)))
8b385969 400
f77bcbc3
EB
401(define-syntax-rule (dummy-origin extra-fields ...)
402 "Return a \"dummy\" origin, with all its compulsory fields initialized with
403default values, and with EXTRA-FIELDS set as specified."
2c5ee9bb
LC
404 (let ((o (origin (method #f) (uri "http://www.example.com")
405 (sha256 (base32 (make-string 52 #\x))))))
406 (origin (inherit o) extra-fields ...)))
f77bcbc3 407
03d76577
LC
408(define gnu-make-for-tests
409 ;; This is a variant of 'gnu-make-boot0' that can be built with minimal
410 ;; resources.
411 (package-with-bootstrap-guile
412 (package
413 (inherit gnu-make)
414 (name "make-test-boot0")
415 (arguments
416 `(#:guile ,%bootstrap-guile
417 #:implicit-inputs? #f
418 #:tests? #f ;cannot run "make check"
419 ,@(substitute-keyword-arguments (package-arguments gnu-make)
b03753d8
LC
420 ((#:configure-flags flags ''())
421 ;; As in 'gnu-make-boot0', work around a 'config.status' defect.
422 `(cons "--disable-dependency-tracking" ,flags))
03d76577
LC
423 ((#:phases phases)
424 `(modify-phases ,phases
425 (replace 'build
426 (lambda _
427 (invoke "./build.sh")
428 #t))
429 (replace 'install
430 (lambda* (#:key outputs #:allow-other-keys)
431 (let* ((out (assoc-ref outputs "out"))
432 (bin (string-append out "/bin")))
433 (install-file "make" bin)
434 #t))))))))
435 (native-inputs '()) ;no need for 'pkg-config'
436 (inputs %bootstrap-inputs-for-tests))))
437
e6740741
LC
438;; Local Variables:
439;; eval: (put 'call-with-derivation-narinfo 'scheme-indent-function 1)
e6c8839c 440;; eval: (put 'call-with-derivation-substitute 'scheme-indent-function 2)
e6740741
LC
441;; End:
442
c1bc358f 443;;; tests.scm ends here