2013-01-05 23:47:50 +00:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
|
|
|
|
;;; Copyright © 2012, 2013 Ludovic Courtès <ludo@gnu.org>
|
2012-04-19 21:09:55 +00:00
|
|
|
|
;;;
|
2013-01-05 23:47:50 +00:00
|
|
|
|
;;; This file is part of GNU Guix.
|
2012-04-19 21:09:55 +00:00
|
|
|
|
;;;
|
2013-01-05 23:47:50 +00:00
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
2012-04-19 21:09:55 +00:00
|
|
|
|
;;; 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.
|
|
|
|
|
;;;
|
2013-01-05 23:47:50 +00:00
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
2012-04-19 21:09:55 +00:00
|
|
|
|
;;; 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
|
2013-01-05 23:47:50 +00:00
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
2012-04-19 21:09:55 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(define-module (test-derivations)
|
|
|
|
|
#:use-module (guix derivations)
|
2012-06-01 21:29:55 +00:00
|
|
|
|
#:use-module (guix store)
|
2012-06-07 21:15:00 +00:00
|
|
|
|
#:use-module (guix utils)
|
2013-07-01 21:28:21 +00:00
|
|
|
|
#:use-module (guix hash)
|
Move base32 code to (guix base32).
* guix/utils.scm (bytevector-quintet-ref, bytevector-quintet-ref-right,
bytevector-quintet-length, bytevector-quintet-fold,
bytevector-quintet-fold-right, make-bytevector->base32-string,
%nix-base32-chars, %rfc4648-base32-chars, bytevector->base32-string,
bytevector->nix-base32-string, bytevector-quintet-set!,
bytevector-quintet-set-right!, base32-string-unfold,
base32-string-unfold-right, make-base32-string->bytevector,
base32-string->bytevector, nix-base32-string->bytevector): Move to...
* guix/base32.scm: ... here. New file.
* tests/utils.scm (%nix-hash, "bytevector->base32-string",
"base32-string->bytevector", "nix-base32-string->bytevector", "sha256
& bytevector->base32-string"): Move to...
* tests/base32.scm: ... here. New file
* guix-download.in, guix/derivations.scm, guix/packages.scm,
guix/snix.scm, tests/builders.scm, tests/derivations.scm: Adjust
accordingly.
* guix.scm (%public-modules): Add `base32'.
2012-11-11 21:33:28 +00:00
|
|
|
|
#:use-module (guix base32)
|
2012-10-25 16:03:48 +00:00
|
|
|
|
#:use-module ((guix packages) #:select (package-derivation))
|
2013-01-18 00:06:47 +00:00
|
|
|
|
#:use-module ((gnu packages) #:select (search-bootstrap-binary))
|
2013-01-18 00:06:24 +00:00
|
|
|
|
#:use-module (gnu packages bootstrap)
|
2012-06-10 20:43:02 +00:00
|
|
|
|
#:use-module (srfi srfi-1)
|
2012-06-04 22:04:07 +00:00
|
|
|
|
#:use-module (srfi srfi-11)
|
2012-04-19 21:09:55 +00:00
|
|
|
|
#:use-module (srfi srfi-26)
|
2012-06-11 21:12:55 +00:00
|
|
|
|
#:use-module (srfi srfi-34)
|
2012-04-19 21:09:55 +00:00
|
|
|
|
#:use-module (srfi srfi-64)
|
2012-06-04 22:04:07 +00:00
|
|
|
|
#:use-module (rnrs io ports)
|
2012-06-09 16:49:19 +00:00
|
|
|
|
#:use-module (rnrs bytevectors)
|
2013-04-16 22:06:59 +00:00
|
|
|
|
#:use-module (web uri)
|
2012-06-10 20:43:02 +00:00
|
|
|
|
#:use-module (ice-9 rdelim)
|
2012-06-16 14:46:29 +00:00
|
|
|
|
#:use-module (ice-9 regex)
|
2012-06-11 21:12:55 +00:00
|
|
|
|
#:use-module (ice-9 ftw)
|
|
|
|
|
#:use-module (ice-9 match))
|
2012-04-19 21:09:55 +00:00
|
|
|
|
|
2012-06-01 21:29:55 +00:00
|
|
|
|
(define %store
|
|
|
|
|
(false-if-exception (open-connection)))
|
|
|
|
|
|
2012-10-25 16:03:48 +00:00
|
|
|
|
(when %store
|
2012-11-02 21:38:52 +00:00
|
|
|
|
;; Make sure we build everything by ourselves.
|
|
|
|
|
(set-build-options %store #:use-substitutes? #f)
|
|
|
|
|
|
2012-10-25 16:03:48 +00:00
|
|
|
|
;; By default, use %BOOTSTRAP-GUILE for the current system.
|
|
|
|
|
(let ((drv (package-derivation %store %bootstrap-guile)))
|
|
|
|
|
(%guile-for-build drv)))
|
|
|
|
|
|
2013-08-26 20:12:46 +00:00
|
|
|
|
(define (bootstrap-binary name)
|
|
|
|
|
(let ((bin (search-bootstrap-binary name (%current-system))))
|
2013-01-02 00:04:37 +00:00
|
|
|
|
(and %store
|
2013-08-26 20:12:46 +00:00
|
|
|
|
(add-to-store %store name #t "sha256" bin))))
|
|
|
|
|
|
|
|
|
|
(define %bash
|
|
|
|
|
(bootstrap-binary "bash"))
|
|
|
|
|
(define %mkdir
|
|
|
|
|
(bootstrap-binary "mkdir"))
|
2013-01-02 00:04:37 +00:00
|
|
|
|
|
2013-08-26 20:12:46 +00:00
|
|
|
|
(define* (directory-contents dir #:optional (slurp get-bytevector-all))
|
2012-06-10 20:43:02 +00:00
|
|
|
|
"Return an alist representing the contents of DIR."
|
|
|
|
|
(define prefix-len (string-length dir))
|
|
|
|
|
(sort (file-system-fold (const #t) ; enter?
|
|
|
|
|
(lambda (path stat result) ; leaf
|
|
|
|
|
(alist-cons (string-drop path prefix-len)
|
2013-08-26 20:12:46 +00:00
|
|
|
|
(call-with-input-file path slurp)
|
2012-06-10 20:43:02 +00:00
|
|
|
|
result))
|
|
|
|
|
(lambda (path stat result) result) ; down
|
|
|
|
|
(lambda (path stat result) result) ; up
|
|
|
|
|
(lambda (path stat result) result) ; skip
|
|
|
|
|
(lambda (path stat errno result) result) ; error
|
|
|
|
|
'()
|
|
|
|
|
dir)
|
|
|
|
|
(lambda (e1 e2)
|
|
|
|
|
(string<? (car e1) (car e2)))))
|
|
|
|
|
|
2012-04-19 21:09:55 +00:00
|
|
|
|
(test-begin "derivations")
|
|
|
|
|
|
|
|
|
|
(test-assert "parse & export"
|
2012-06-05 09:18:20 +00:00
|
|
|
|
(let* ((f (search-path %load-path "tests/test.drv"))
|
|
|
|
|
(b1 (call-with-input-file f get-bytevector-all))
|
2012-04-19 21:09:55 +00:00
|
|
|
|
(d1 (read-derivation (open-bytevector-input-port b1)))
|
|
|
|
|
(b2 (call-with-bytevector-output-port (cut write-derivation d1 <>)))
|
|
|
|
|
(d2 (read-derivation (open-bytevector-input-port b2))))
|
|
|
|
|
(and (equal? b1 b2)
|
|
|
|
|
(equal? d1 d2))))
|
|
|
|
|
|
2013-08-26 20:12:46 +00:00
|
|
|
|
(test-skip (if %store 0 12))
|
2012-06-10 20:43:02 +00:00
|
|
|
|
|
2012-06-11 22:19:04 +00:00
|
|
|
|
(test-assert "add-to-store, flat"
|
|
|
|
|
(let* ((file (search-path %load-path "language/tree-il/spec.scm"))
|
2013-01-30 15:30:49 +00:00
|
|
|
|
(drv (add-to-store %store "flat-test" #f "sha256" file)))
|
2012-06-11 22:19:04 +00:00
|
|
|
|
(and (eq? 'regular (stat:type (stat drv)))
|
2012-06-30 22:21:16 +00:00
|
|
|
|
(valid-path? %store drv)
|
2012-06-11 22:19:04 +00:00
|
|
|
|
(equal? (call-with-input-file file get-bytevector-all)
|
|
|
|
|
(call-with-input-file drv get-bytevector-all)))))
|
|
|
|
|
|
2012-06-10 20:43:02 +00:00
|
|
|
|
(test-assert "add-to-store, recursive"
|
|
|
|
|
(let* ((dir (dirname (search-path %load-path "language/tree-il/spec.scm")))
|
2013-01-30 15:30:49 +00:00
|
|
|
|
(drv (add-to-store %store "dir-tree-test" #t "sha256" dir)))
|
2012-06-10 20:43:02 +00:00
|
|
|
|
(and (eq? 'directory (stat:type (stat drv)))
|
2012-06-30 22:21:16 +00:00
|
|
|
|
(valid-path? %store drv)
|
2012-06-10 20:43:02 +00:00
|
|
|
|
(equal? (directory-contents dir)
|
|
|
|
|
(directory-contents drv)))))
|
2012-06-01 21:29:55 +00:00
|
|
|
|
|
|
|
|
|
(test-assert "derivation with no inputs"
|
2012-06-30 22:21:16 +00:00
|
|
|
|
(let* ((builder (add-text-to-store %store "my-builder.sh"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
"echo hello, world\n"
|
2012-06-30 22:21:16 +00:00
|
|
|
|
'()))
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(drv-path (derivation %store "foo"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `("-e" ,builder)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
#:env-vars '(("HOME" . "/homeless")))))
|
2012-06-30 22:21:16 +00:00
|
|
|
|
(and (store-path? drv-path)
|
|
|
|
|
(valid-path? %store drv-path))))
|
2012-06-01 21:29:55 +00:00
|
|
|
|
|
2012-06-04 22:04:07 +00:00
|
|
|
|
(test-assert "build derivation with 1 source"
|
|
|
|
|
(let*-values (((builder)
|
|
|
|
|
(add-text-to-store %store "my-builder.sh"
|
2012-06-07 21:15:00 +00:00
|
|
|
|
"echo hello, world > \"$out\"\n"
|
2012-06-04 22:04:07 +00:00
|
|
|
|
'()))
|
|
|
|
|
((drv-path drv)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(derivation %store "foo"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
#:env-vars '(("HOME" . "/homeless")
|
|
|
|
|
("zzz" . "Z!")
|
|
|
|
|
("AAA" . "A!"))
|
|
|
|
|
#:inputs `((,builder))))
|
2012-06-04 22:04:07 +00:00
|
|
|
|
((succeeded?)
|
|
|
|
|
(build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(let ((path (derivation-output-path
|
|
|
|
|
(assoc-ref (derivation-outputs drv) "out"))))
|
2012-06-30 22:21:16 +00:00
|
|
|
|
(and (valid-path? %store path)
|
|
|
|
|
(string=? (call-with-input-file path read-line)
|
|
|
|
|
"hello, world"))))))
|
2012-06-04 22:04:07 +00:00
|
|
|
|
|
2012-12-04 22:46:50 +00:00
|
|
|
|
(test-assert "derivation with local file as input"
|
|
|
|
|
(let* ((builder (add-text-to-store
|
|
|
|
|
%store "my-builder.sh"
|
2013-02-03 22:23:29 +00:00
|
|
|
|
"(while read line ; do echo \"$line\" ; done) < $in > $out"
|
2012-12-04 22:46:50 +00:00
|
|
|
|
'()))
|
|
|
|
|
(input (search-path %load-path "ice-9/boot-9.scm"))
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(input* (add-to-store %store (basename input)
|
|
|
|
|
#t "sha256" input))
|
2012-12-04 22:46:50 +00:00
|
|
|
|
(drv-path (derivation %store "derivation-with-input-file"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
|
|
|
|
|
;; Cheat to pass the actual file name to the
|
|
|
|
|
;; builder.
|
|
|
|
|
#:env-vars `(("in" . ,input*))
|
|
|
|
|
|
|
|
|
|
#:inputs `((,builder)
|
|
|
|
|
(,input))))) ; ← local file name
|
2012-12-04 22:46:50 +00:00
|
|
|
|
(and (build-derivations %store (list drv-path))
|
2013-02-03 22:23:29 +00:00
|
|
|
|
;; Note: we can't compare the files because the above trick alters
|
|
|
|
|
;; the contents.
|
|
|
|
|
(valid-path? %store (derivation-path->output-path drv-path)))))
|
2012-12-04 22:46:50 +00:00
|
|
|
|
|
2012-06-09 16:49:19 +00:00
|
|
|
|
(test-assert "fixed-output derivation"
|
|
|
|
|
(let* ((builder (add-text-to-store %store "my-fixed-builder.sh"
|
|
|
|
|
"echo -n hello > $out" '()))
|
|
|
|
|
(hash (sha256 (string->utf8 "hello")))
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(drv-path (derivation %store "fixed"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
#:inputs `((,builder)) ; optional
|
2012-06-09 16:49:19 +00:00
|
|
|
|
#:hash hash #:hash-algo 'sha256))
|
|
|
|
|
(succeeded? (build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(let ((p (derivation-path->output-path drv-path)))
|
2012-10-24 15:03:45 +00:00
|
|
|
|
(and (equal? (string->utf8 "hello")
|
|
|
|
|
(call-with-input-file p get-bytevector-all))
|
|
|
|
|
(bytevector? (query-path-hash %store p)))))))
|
2012-06-09 16:49:19 +00:00
|
|
|
|
|
2012-11-08 22:55:12 +00:00
|
|
|
|
(test-assert "fixed-output derivation: output paths are equal"
|
|
|
|
|
(let* ((builder1 (add-text-to-store %store "fixed-builder1.sh"
|
|
|
|
|
"echo -n hello > $out" '()))
|
|
|
|
|
(builder2 (add-text-to-store %store "fixed-builder2.sh"
|
|
|
|
|
"echo hey; echo -n hello > $out" '()))
|
|
|
|
|
(hash (sha256 (string->utf8 "hello")))
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(drv-path1 (derivation %store "fixed"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder1)
|
2012-11-08 22:55:12 +00:00
|
|
|
|
#:hash hash #:hash-algo 'sha256))
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(drv-path2 (derivation %store "fixed"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder2)
|
2012-11-08 22:55:12 +00:00
|
|
|
|
#:hash hash #:hash-algo 'sha256))
|
|
|
|
|
(succeeded? (build-derivations %store
|
|
|
|
|
(list drv-path1 drv-path2))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(equal? (derivation-path->output-path drv-path1)
|
|
|
|
|
(derivation-path->output-path drv-path2)))))
|
|
|
|
|
|
|
|
|
|
(test-assert "derivation with a fixed-output input"
|
|
|
|
|
;; A derivation D using a fixed-output derivation F doesn't has the same
|
|
|
|
|
;; output path when passed F or F', as long as F and F' have the same output
|
|
|
|
|
;; path.
|
|
|
|
|
(let* ((builder1 (add-text-to-store %store "fixed-builder1.sh"
|
|
|
|
|
"echo -n hello > $out" '()))
|
|
|
|
|
(builder2 (add-text-to-store %store "fixed-builder2.sh"
|
|
|
|
|
"echo hey; echo -n hello > $out" '()))
|
|
|
|
|
(hash (sha256 (string->utf8 "hello")))
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(fixed1 (derivation %store "fixed"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder1)
|
2012-11-08 22:55:12 +00:00
|
|
|
|
#:hash hash #:hash-algo 'sha256))
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(fixed2 (derivation %store "fixed"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder2)
|
2012-11-08 22:55:12 +00:00
|
|
|
|
#:hash hash #:hash-algo 'sha256))
|
|
|
|
|
(fixed-out (derivation-path->output-path fixed1))
|
|
|
|
|
(builder3 (add-text-to-store
|
|
|
|
|
%store "final-builder.sh"
|
|
|
|
|
;; Use Bash hackery to avoid Coreutils.
|
|
|
|
|
"echo $in ; (read -u 3 c; echo $c) 3< $in > $out" '()))
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(final1 (derivation %store "final"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder3)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
#:env-vars `(("in" . ,fixed-out))
|
|
|
|
|
#:inputs `((,builder3) (,fixed1))))
|
|
|
|
|
(final2 (derivation %store "final"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder3)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
#:env-vars `(("in" . ,fixed-out))
|
|
|
|
|
#:inputs `((,builder3) (,fixed2))))
|
2012-11-08 22:55:12 +00:00
|
|
|
|
(succeeded? (build-derivations %store
|
|
|
|
|
(list final1 final2))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(equal? (derivation-path->output-path final1)
|
|
|
|
|
(derivation-path->output-path final2)))))
|
|
|
|
|
|
2012-06-09 19:52:31 +00:00
|
|
|
|
(test-assert "multiple-output derivation"
|
|
|
|
|
(let* ((builder (add-text-to-store %store "my-fixed-builder.sh"
|
|
|
|
|
"echo one > $out ; echo two > $second"
|
|
|
|
|
'()))
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(drv-path (derivation %store "fixed"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
#:env-vars '(("HOME" . "/homeless")
|
|
|
|
|
("zzz" . "Z!")
|
|
|
|
|
("AAA" . "A!"))
|
|
|
|
|
#:inputs `((,builder))
|
2012-06-09 19:52:31 +00:00
|
|
|
|
#:outputs '("out" "second")))
|
|
|
|
|
(succeeded? (build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(let ((one (derivation-path->output-path drv-path "out"))
|
|
|
|
|
(two (derivation-path->output-path drv-path "second")))
|
2013-01-05 22:51:13 +00:00
|
|
|
|
(and (lset= equal?
|
|
|
|
|
(derivation-path->output-paths drv-path)
|
|
|
|
|
`(("out" . ,one) ("second" . ,two)))
|
|
|
|
|
(eq? 'one (call-with-input-file one read))
|
2012-06-09 19:52:31 +00:00
|
|
|
|
(eq? 'two (call-with-input-file two read)))))))
|
|
|
|
|
|
2012-07-01 13:37:58 +00:00
|
|
|
|
(test-assert "multiple-output derivation, non-alphabetic order"
|
|
|
|
|
;; Here, the outputs are not listed in alphabetic order. Yet, the store
|
|
|
|
|
;; path computation must reorder them first.
|
|
|
|
|
(let* ((builder (add-text-to-store %store "my-fixed-builder.sh"
|
|
|
|
|
"echo one > $out ; echo two > $AAA"
|
|
|
|
|
'()))
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(drv-path (derivation %store "fixed"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
#:inputs `((,builder))
|
2012-07-01 13:37:58 +00:00
|
|
|
|
#:outputs '("out" "AAA")))
|
|
|
|
|
(succeeded? (build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(let ((one (derivation-path->output-path drv-path "out"))
|
|
|
|
|
(two (derivation-path->output-path drv-path "AAA")))
|
|
|
|
|
(and (eq? 'one (call-with-input-file one read))
|
|
|
|
|
(eq? 'two (call-with-input-file two read)))))))
|
|
|
|
|
|
2012-07-01 23:23:39 +00:00
|
|
|
|
(test-assert "user of multiple-output derivation"
|
|
|
|
|
;; Check whether specifying several inputs coming from the same
|
|
|
|
|
;; multiple-output derivation works.
|
|
|
|
|
(let* ((builder1 (add-text-to-store %store "my-mo-builder.sh"
|
|
|
|
|
"echo one > $out ; echo two > $two"
|
|
|
|
|
'()))
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(mdrv (derivation %store "multiple-output"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder1)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
#:inputs `((,builder1))
|
2012-07-01 23:23:39 +00:00
|
|
|
|
#:outputs '("out" "two")))
|
|
|
|
|
(builder2 (add-text-to-store %store "my-mo-user-builder.sh"
|
|
|
|
|
"read x < $one;
|
|
|
|
|
read y < $two;
|
|
|
|
|
echo \"($x $y)\" > $out"
|
|
|
|
|
'()))
|
|
|
|
|
(udrv (derivation %store "multiple-output-user"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder2)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
#:env-vars `(("one"
|
|
|
|
|
. ,(derivation-path->output-path
|
|
|
|
|
mdrv "out"))
|
|
|
|
|
("two"
|
|
|
|
|
. ,(derivation-path->output-path
|
|
|
|
|
mdrv "two")))
|
|
|
|
|
#:inputs `((,builder2)
|
|
|
|
|
;; two occurrences of MDRV:
|
|
|
|
|
(,mdrv)
|
|
|
|
|
(,mdrv "two")))))
|
2012-07-01 23:23:39 +00:00
|
|
|
|
(and (build-derivations %store (list (pk 'udrv udrv)))
|
|
|
|
|
(let ((p (derivation-path->output-path udrv)))
|
|
|
|
|
(and (valid-path? %store p)
|
|
|
|
|
(equal? '(one two) (call-with-input-file p read)))))))
|
|
|
|
|
|
2013-08-27 16:34:49 +00:00
|
|
|
|
(test-assert "derivation with #:references-graphs"
|
2013-08-26 20:12:46 +00:00
|
|
|
|
(let* ((input1 (add-text-to-store %store "foo" "hello"
|
|
|
|
|
(list %bash)))
|
|
|
|
|
(input2 (add-text-to-store %store "bar"
|
|
|
|
|
(number->string (random 7777))
|
|
|
|
|
(list input1)))
|
|
|
|
|
(builder (add-text-to-store %store "build-graph"
|
|
|
|
|
(format #f "
|
|
|
|
|
~a $out
|
|
|
|
|
(while read l ; do echo $l ; done) < bash > $out/bash
|
|
|
|
|
(while read l ; do echo $l ; done) < input1 > $out/input1
|
|
|
|
|
(while read l ; do echo $l ; done) < input2 > $out/input2"
|
|
|
|
|
%mkdir)
|
|
|
|
|
(list %mkdir)))
|
|
|
|
|
(drv (derivation %store "closure-graphs"
|
|
|
|
|
%bash `(,builder)
|
2013-08-27 16:34:49 +00:00
|
|
|
|
#:references-graphs
|
2013-08-26 20:12:46 +00:00
|
|
|
|
`(("bash" . ,%bash)
|
|
|
|
|
("input1" . ,input1)
|
|
|
|
|
("input2" . ,input2))
|
|
|
|
|
#:inputs `((,%bash) (,builder))))
|
|
|
|
|
(out (derivation-path->output-path drv)))
|
|
|
|
|
(define (deps path . deps)
|
|
|
|
|
(let ((count (length deps)))
|
|
|
|
|
(string-append path "\n\n" (number->string count) "\n"
|
|
|
|
|
(string-join (sort deps string<?) "\n")
|
|
|
|
|
(if (zero? count) "" "\n"))))
|
|
|
|
|
|
|
|
|
|
(and (build-derivations %store (list drv))
|
|
|
|
|
(equal? (directory-contents out get-string-all)
|
|
|
|
|
`(("/bash" . ,(string-append %bash "\n\n0\n"))
|
|
|
|
|
("/input1" . ,(if (string>? input1 %bash)
|
|
|
|
|
(string-append (deps %bash)
|
|
|
|
|
(deps input1 %bash))
|
|
|
|
|
(string-append (deps input1 %bash)
|
|
|
|
|
(deps %bash))))
|
|
|
|
|
("/input2" . ,(string-concatenate
|
|
|
|
|
(map cdr
|
|
|
|
|
(sort
|
|
|
|
|
(map (lambda (p d)
|
|
|
|
|
(cons p (apply deps p d)))
|
|
|
|
|
(list %bash input1 input2)
|
|
|
|
|
(list '() (list %bash) (list input1)))
|
|
|
|
|
(lambda (x y)
|
|
|
|
|
(match x
|
|
|
|
|
((p1 . _)
|
|
|
|
|
(match y
|
|
|
|
|
((p2 . _)
|
|
|
|
|
(string<? p1 p2)))))))))))))))
|
|
|
|
|
|
2012-06-07 21:15:00 +00:00
|
|
|
|
|
|
|
|
|
(define %coreutils
|
2012-10-27 23:58:39 +00:00
|
|
|
|
(false-if-exception
|
2012-12-13 21:06:45 +00:00
|
|
|
|
(and (getaddrinfo "www.gnu.org" "80" AI_NUMERICSERV)
|
|
|
|
|
(or (package-derivation %store %bootstrap-coreutils&co)
|
|
|
|
|
(nixpkgs-derivation "coreutils")))))
|
2012-06-07 21:15:00 +00:00
|
|
|
|
|
|
|
|
|
(test-skip (if %coreutils 0 1))
|
|
|
|
|
|
|
|
|
|
(test-assert "build derivation with coreutils"
|
|
|
|
|
(let* ((builder
|
|
|
|
|
(add-text-to-store %store "build-with-coreutils.sh"
|
|
|
|
|
"echo $PATH ; mkdir --version ; mkdir $out ; touch $out/good"
|
|
|
|
|
'()))
|
|
|
|
|
(drv-path
|
2013-08-26 20:11:04 +00:00
|
|
|
|
(derivation %store "foo"
|
2013-01-02 00:04:37 +00:00
|
|
|
|
%bash `(,builder)
|
2013-08-26 20:11:04 +00:00
|
|
|
|
#:env-vars `(("PATH" .
|
|
|
|
|
,(string-append
|
|
|
|
|
(derivation-path->output-path %coreutils)
|
|
|
|
|
"/bin")))
|
|
|
|
|
#:inputs `((,builder)
|
|
|
|
|
(,%coreutils))))
|
2012-06-07 21:15:00 +00:00
|
|
|
|
(succeeded?
|
|
|
|
|
(build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(let ((p (derivation-path->output-path drv-path)))
|
2012-06-30 22:21:16 +00:00
|
|
|
|
(and (valid-path? %store p)
|
|
|
|
|
(file-exists? (string-append p "/good")))))))
|
2012-06-07 21:15:00 +00:00
|
|
|
|
|
2013-08-26 20:19:21 +00:00
|
|
|
|
(test-skip (if (%guile-for-build) 0 8))
|
2012-06-30 22:37:03 +00:00
|
|
|
|
|
|
|
|
|
(test-assert "build-expression->derivation and derivation-prerequisites"
|
|
|
|
|
(let-values (((drv-path drv)
|
|
|
|
|
(build-expression->derivation %store "fail" (%current-system)
|
|
|
|
|
#f '())))
|
|
|
|
|
(any (match-lambda
|
|
|
|
|
(($ <derivation-input> path)
|
|
|
|
|
(string=? path (%guile-for-build))))
|
|
|
|
|
(derivation-prerequisites drv))))
|
2012-06-08 19:31:01 +00:00
|
|
|
|
|
|
|
|
|
(test-assert "build-expression->derivation without inputs"
|
|
|
|
|
(let* ((builder '(begin
|
|
|
|
|
(mkdir %output)
|
|
|
|
|
(call-with-output-file (string-append %output "/test")
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(display '(hello guix) p)))))
|
2012-06-11 19:50:17 +00:00
|
|
|
|
(drv-path (build-expression->derivation %store "goo" (%current-system)
|
2012-06-08 19:31:01 +00:00
|
|
|
|
builder '()))
|
|
|
|
|
(succeeded? (build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(let ((p (derivation-path->output-path drv-path)))
|
|
|
|
|
(equal? '(hello guix)
|
|
|
|
|
(call-with-input-file (string-append p "/test") read))))))
|
|
|
|
|
|
2013-05-20 16:14:55 +00:00
|
|
|
|
(test-assert "build-expression->derivation and max-silent-time"
|
|
|
|
|
(let* ((store (let ((s (open-connection)))
|
|
|
|
|
(set-build-options s #:max-silent-time 1)
|
|
|
|
|
s))
|
|
|
|
|
(builder '(sleep 100))
|
|
|
|
|
(drv-path (build-expression->derivation %store "silent"
|
|
|
|
|
(%current-system)
|
|
|
|
|
builder '()))
|
|
|
|
|
(out-path (derivation-path->output-path drv-path)))
|
|
|
|
|
(guard (c ((nix-protocol-error? c)
|
|
|
|
|
(and (string-contains (nix-protocol-error-message c)
|
|
|
|
|
"failed")
|
|
|
|
|
(not (valid-path? store out-path)))))
|
|
|
|
|
(build-derivations %store (list drv-path)))))
|
|
|
|
|
|
2012-06-30 22:37:03 +00:00
|
|
|
|
(test-assert "build-expression->derivation and derivation-prerequisites-to-build"
|
|
|
|
|
(let-values (((drv-path drv)
|
|
|
|
|
(build-expression->derivation %store "fail" (%current-system)
|
|
|
|
|
#f '())))
|
|
|
|
|
;; The only direct dependency is (%guile-for-build) and it's already
|
|
|
|
|
;; built.
|
|
|
|
|
(null? (derivation-prerequisites-to-build %store drv))))
|
|
|
|
|
|
2013-01-09 07:38:57 +00:00
|
|
|
|
(test-assert "derivation-prerequisites-to-build when outputs already present"
|
|
|
|
|
(let*-values (((builder)
|
|
|
|
|
'(begin (mkdir %output) #t))
|
|
|
|
|
((input-drv-path input-drv)
|
|
|
|
|
(build-expression->derivation %store "input"
|
|
|
|
|
(%current-system)
|
|
|
|
|
builder '()))
|
|
|
|
|
((input-path)
|
|
|
|
|
(derivation-output-path
|
|
|
|
|
(assoc-ref (derivation-outputs input-drv)
|
|
|
|
|
"out")))
|
|
|
|
|
((drv-path drv)
|
|
|
|
|
(build-expression->derivation %store "something"
|
|
|
|
|
(%current-system)
|
|
|
|
|
builder
|
|
|
|
|
`(("i" ,input-drv-path))))
|
|
|
|
|
((output)
|
|
|
|
|
(derivation-output-path
|
|
|
|
|
(assoc-ref (derivation-outputs drv) "out"))))
|
|
|
|
|
;; Make sure these things are not already built.
|
|
|
|
|
(when (valid-path? %store input-path)
|
|
|
|
|
(delete-paths %store (list input-path)))
|
|
|
|
|
(when (valid-path? %store output)
|
|
|
|
|
(delete-paths %store (list output)))
|
|
|
|
|
|
|
|
|
|
(and (equal? (map derivation-input-path
|
|
|
|
|
(derivation-prerequisites-to-build %store drv))
|
|
|
|
|
(list input-drv-path))
|
|
|
|
|
|
|
|
|
|
;; Build DRV and delete its input.
|
|
|
|
|
(build-derivations %store (list drv-path))
|
|
|
|
|
(delete-paths %store (list input-path))
|
|
|
|
|
(not (valid-path? %store input-path))
|
|
|
|
|
|
|
|
|
|
;; Now INPUT-PATH is missing, yet it shouldn't be listed as a
|
|
|
|
|
;; prerequisite to build because DRV itself is already built.
|
|
|
|
|
(null? (derivation-prerequisites-to-build %store drv)))))
|
|
|
|
|
|
2013-04-16 22:06:59 +00:00
|
|
|
|
(test-skip (if (getenv "GUIX_BINARY_SUBSTITUTE_URL") 0 1))
|
|
|
|
|
(test-assert "derivation-prerequisites-to-build and substitutes"
|
|
|
|
|
(let*-values (((store)
|
|
|
|
|
(open-connection))
|
|
|
|
|
((drv-path drv)
|
|
|
|
|
(build-expression->derivation store "prereq-subst"
|
|
|
|
|
(%current-system)
|
|
|
|
|
(random 1000) '()))
|
|
|
|
|
((output)
|
|
|
|
|
(derivation-output-path
|
|
|
|
|
(assoc-ref (derivation-outputs drv) "out")))
|
|
|
|
|
((dir)
|
|
|
|
|
(and=> (getenv "GUIX_BINARY_SUBSTITUTE_URL")
|
|
|
|
|
(compose uri-path string->uri))))
|
|
|
|
|
;; Create fake substituter data, to be read by `substitute-binary'.
|
|
|
|
|
(call-with-output-file (string-append dir "/nix-cache-info")
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(format p "StoreDir: ~a\nWantMassQuery: 0\n"
|
|
|
|
|
(%store-prefix))))
|
|
|
|
|
(call-with-output-file (string-append dir "/" (store-path-hash-part output)
|
|
|
|
|
".narinfo")
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(format p "StorePath: ~a
|
|
|
|
|
URL: ~a
|
|
|
|
|
Compression: none
|
|
|
|
|
NarSize: 1234
|
|
|
|
|
References:
|
|
|
|
|
System: ~a
|
|
|
|
|
Deriver: ~a~%"
|
|
|
|
|
output ; StorePath
|
|
|
|
|
(string-append dir "/example.nar") ; URL
|
|
|
|
|
(%current-system) ; System
|
|
|
|
|
(basename drv-path)))) ; Deriver
|
|
|
|
|
|
|
|
|
|
(let-values (((build download)
|
|
|
|
|
(derivation-prerequisites-to-build store drv))
|
|
|
|
|
((build* download*)
|
|
|
|
|
(derivation-prerequisites-to-build store drv
|
|
|
|
|
#:use-substitutes? #f)))
|
|
|
|
|
(pk build download build* download*)
|
|
|
|
|
(and (null? build)
|
|
|
|
|
(equal? download (list output))
|
|
|
|
|
(null? download*)
|
|
|
|
|
(null? build*)))))
|
|
|
|
|
|
2012-06-16 14:46:29 +00:00
|
|
|
|
(test-assert "build-expression->derivation with expression returning #f"
|
|
|
|
|
(let* ((builder '(begin
|
|
|
|
|
(mkdir %output)
|
|
|
|
|
#f)) ; fail!
|
|
|
|
|
(drv-path (build-expression->derivation %store "fail" (%current-system)
|
2012-06-30 22:21:16 +00:00
|
|
|
|
builder '()))
|
|
|
|
|
(out-path (derivation-path->output-path drv-path)))
|
2012-06-16 14:46:29 +00:00
|
|
|
|
(guard (c ((nix-protocol-error? c)
|
|
|
|
|
;; Note that the output path may exist at this point, but it
|
|
|
|
|
;; is invalid.
|
2012-06-30 22:21:16 +00:00
|
|
|
|
(and (string-match "build .* failed"
|
|
|
|
|
(nix-protocol-error-message c))
|
|
|
|
|
(not (valid-path? %store out-path)))))
|
2012-06-16 14:46:29 +00:00
|
|
|
|
(build-derivations %store (list drv-path))
|
|
|
|
|
#f)))
|
|
|
|
|
|
2012-06-09 21:16:55 +00:00
|
|
|
|
(test-assert "build-expression->derivation with two outputs"
|
|
|
|
|
(let* ((builder '(begin
|
|
|
|
|
(call-with-output-file (assoc-ref %outputs "out")
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(display '(hello) p)))
|
|
|
|
|
(call-with-output-file (assoc-ref %outputs "second")
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(display '(world) p)))))
|
|
|
|
|
(drv-path (build-expression->derivation %store "double"
|
2012-06-11 19:50:17 +00:00
|
|
|
|
(%current-system)
|
2012-06-09 21:16:55 +00:00
|
|
|
|
builder '()
|
|
|
|
|
#:outputs '("out"
|
|
|
|
|
"second")))
|
|
|
|
|
(succeeded? (build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(let ((one (derivation-path->output-path drv-path))
|
|
|
|
|
(two (derivation-path->output-path drv-path "second")))
|
|
|
|
|
(and (equal? '(hello) (call-with-input-file one read))
|
|
|
|
|
(equal? '(world) (call-with-input-file two read)))))))
|
|
|
|
|
|
2012-12-13 21:06:45 +00:00
|
|
|
|
(test-skip (if %coreutils 0 1))
|
2012-06-08 19:31:01 +00:00
|
|
|
|
(test-assert "build-expression->derivation with one input"
|
|
|
|
|
(let* ((builder '(call-with-output-file %output
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(let ((cu (assoc-ref %build-inputs "cu")))
|
|
|
|
|
(close 1)
|
|
|
|
|
(dup2 (port->fdes p) 1)
|
|
|
|
|
(execl (string-append cu "/bin/uname")
|
|
|
|
|
"uname" "-a")))))
|
2012-06-11 19:50:17 +00:00
|
|
|
|
(drv-path (build-expression->derivation %store "uname" (%current-system)
|
2012-06-08 19:31:01 +00:00
|
|
|
|
builder
|
2012-06-13 15:21:27 +00:00
|
|
|
|
`(("cu" ,%coreutils))))
|
2012-06-08 19:31:01 +00:00
|
|
|
|
(succeeded? (build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(let ((p (derivation-path->output-path drv-path)))
|
|
|
|
|
(string-contains (call-with-input-file p read-line) "GNU")))))
|
|
|
|
|
|
2012-06-11 21:12:55 +00:00
|
|
|
|
(test-assert "imported-files"
|
|
|
|
|
(let* ((files `(("x" . ,(search-path %load-path "ice-9/q.scm"))
|
|
|
|
|
("a/b/c" . ,(search-path %load-path
|
|
|
|
|
"guix/derivations.scm"))
|
2012-06-12 21:30:00 +00:00
|
|
|
|
("p/q" . ,(search-path %load-path "guix.scm"))
|
|
|
|
|
("p/z" . ,(search-path %load-path "guix/store.scm"))))
|
2012-06-11 21:12:55 +00:00
|
|
|
|
(drv-path (imported-files %store files)))
|
|
|
|
|
(and (build-derivations %store (list drv-path))
|
|
|
|
|
(let ((dir (derivation-path->output-path drv-path)))
|
|
|
|
|
(every (match-lambda
|
|
|
|
|
((path . source)
|
|
|
|
|
(equal? (call-with-input-file (string-append dir "/" path)
|
|
|
|
|
get-bytevector-all)
|
|
|
|
|
(call-with-input-file source
|
|
|
|
|
get-bytevector-all))))
|
|
|
|
|
files)))))
|
|
|
|
|
|
2012-10-22 21:30:35 +00:00
|
|
|
|
(test-assert "build-expression->derivation with modules"
|
|
|
|
|
(let* ((builder `(begin
|
|
|
|
|
(use-modules (guix build utils))
|
|
|
|
|
(let ((out (assoc-ref %outputs "out")))
|
|
|
|
|
(mkdir-p (string-append out "/guile/guix/nix"))
|
|
|
|
|
#t)))
|
|
|
|
|
(drv-path (build-expression->derivation %store
|
|
|
|
|
"test-with-modules"
|
|
|
|
|
(%current-system)
|
|
|
|
|
builder '()
|
|
|
|
|
#:modules
|
|
|
|
|
'((guix build utils)))))
|
|
|
|
|
(and (build-derivations %store (list drv-path))
|
|
|
|
|
(let* ((p (derivation-path->output-path drv-path))
|
|
|
|
|
(s (stat (string-append p "/guile/guix/nix"))))
|
|
|
|
|
(eq? (stat:type s) 'directory)))))
|
|
|
|
|
|
2012-11-08 22:55:12 +00:00
|
|
|
|
(test-assert "build-expression->derivation: same fixed-output path"
|
|
|
|
|
(let* ((builder1 '(call-with-output-file %output
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(write "hello" p))))
|
|
|
|
|
(builder2 '(call-with-output-file (pk 'difference-here! %output)
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(write "hello" p))))
|
|
|
|
|
(hash (sha256 (string->utf8 "hello")))
|
|
|
|
|
(input1 (build-expression->derivation %store "fixed"
|
|
|
|
|
(%current-system)
|
|
|
|
|
builder1 '()
|
|
|
|
|
#:hash hash
|
|
|
|
|
#:hash-algo 'sha256))
|
|
|
|
|
(input2 (build-expression->derivation %store "fixed"
|
|
|
|
|
(%current-system)
|
|
|
|
|
builder2 '()
|
|
|
|
|
#:hash hash
|
|
|
|
|
#:hash-algo 'sha256))
|
|
|
|
|
(succeeded? (build-derivations %store (list input1 input2))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(not (string=? input1 input2))
|
|
|
|
|
(string=? (derivation-path->output-path input1)
|
|
|
|
|
(derivation-path->output-path input2)))))
|
|
|
|
|
|
2012-11-08 23:07:10 +00:00
|
|
|
|
(test-assert "build-expression->derivation with a fixed-output input"
|
|
|
|
|
(let* ((builder1 '(call-with-output-file %output
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(write "hello" p))))
|
|
|
|
|
(builder2 '(call-with-output-file (pk 'difference-here! %output)
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(write "hello" p))))
|
|
|
|
|
(hash (sha256 (string->utf8 "hello")))
|
|
|
|
|
(input1 (build-expression->derivation %store "fixed"
|
|
|
|
|
(%current-system)
|
|
|
|
|
builder1 '()
|
|
|
|
|
#:hash hash
|
|
|
|
|
#:hash-algo 'sha256))
|
|
|
|
|
(input2 (build-expression->derivation %store "fixed"
|
|
|
|
|
(%current-system)
|
|
|
|
|
builder2 '()
|
|
|
|
|
#:hash hash
|
|
|
|
|
#:hash-algo 'sha256))
|
|
|
|
|
(builder3 '(let ((input (assoc-ref %build-inputs "input")))
|
|
|
|
|
(call-with-output-file %output
|
|
|
|
|
(lambda (out)
|
|
|
|
|
(format #f "My input is ~a.~%" input)))))
|
|
|
|
|
(final1 (build-expression->derivation %store "final"
|
|
|
|
|
(%current-system)
|
|
|
|
|
builder3
|
|
|
|
|
`(("input" ,input1))))
|
|
|
|
|
(final2 (build-expression->derivation %store "final"
|
|
|
|
|
(%current-system)
|
|
|
|
|
builder3
|
|
|
|
|
`(("input" ,input2)))))
|
|
|
|
|
(and (string=? (derivation-path->output-path final1)
|
|
|
|
|
(derivation-path->output-path final2))
|
|
|
|
|
(build-derivations %store (list final1 final2)))))
|
|
|
|
|
|
2013-08-27 16:34:49 +00:00
|
|
|
|
(test-assert "build-expression->derivation with #:references-graphs"
|
2013-08-26 20:19:21 +00:00
|
|
|
|
(let* ((input (add-text-to-store %store "foo" "hello"
|
|
|
|
|
(list %bash %mkdir)))
|
|
|
|
|
(builder '(copy-file "input" %output))
|
2013-08-27 16:34:49 +00:00
|
|
|
|
(drv (build-expression->derivation %store "references-graphs"
|
2013-08-26 20:19:21 +00:00
|
|
|
|
(%current-system)
|
|
|
|
|
builder '()
|
2013-08-27 16:34:49 +00:00
|
|
|
|
#:references-graphs
|
2013-08-26 20:19:21 +00:00
|
|
|
|
`(("input" . ,input))))
|
|
|
|
|
(out (derivation-path->output-path drv)))
|
|
|
|
|
(define (deps path . deps)
|
|
|
|
|
(let ((count (length deps)))
|
|
|
|
|
(string-append path "\n\n" (number->string count) "\n"
|
|
|
|
|
(string-join (sort deps string<?) "\n")
|
|
|
|
|
(if (zero? count) "" "\n"))))
|
|
|
|
|
|
|
|
|
|
(and (build-derivations %store (list drv))
|
|
|
|
|
(equal? (call-with-input-file out get-string-all)
|
|
|
|
|
(string-concatenate
|
|
|
|
|
(map cdr
|
|
|
|
|
(sort (map (lambda (p d)
|
|
|
|
|
(cons p (apply deps p d)))
|
|
|
|
|
(list input %bash %mkdir)
|
|
|
|
|
(list (list %bash %mkdir)
|
|
|
|
|
'() '()))
|
|
|
|
|
(lambda (x y)
|
|
|
|
|
(match x
|
|
|
|
|
((p1 . _)
|
|
|
|
|
(match y
|
|
|
|
|
((p2 . _)
|
|
|
|
|
(string<? p1 p2)))))))))))))
|
|
|
|
|
|
2012-04-19 21:09:55 +00:00
|
|
|
|
(test-end)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(exit (= (test-runner-fail-count (test-runner-current)) 0))
|