2012-04-19 23:09:55 +02:00
|
|
|
|
;;; Guix --- Nix package management from Guile. -*- coding: utf-8 -*-
|
|
|
|
|
;;; Copyright (C) 2012 Ludovic Courtès <ludo@gnu.org>
|
|
|
|
|
;;;
|
|
|
|
|
;;; This file is part of Guix.
|
|
|
|
|
;;;
|
|
|
|
|
;;; 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.
|
|
|
|
|
;;;
|
|
|
|
|
;;; 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 Guix. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(define-module (test-derivations)
|
|
|
|
|
#:use-module (guix derivations)
|
2012-06-01 23:29:55 +02:00
|
|
|
|
#:use-module (guix store)
|
2012-06-07 23:15:00 +02:00
|
|
|
|
#:use-module (guix utils)
|
2012-06-10 22:43:02 +02:00
|
|
|
|
#:use-module (srfi srfi-1)
|
2012-06-05 00:04:07 +02:00
|
|
|
|
#:use-module (srfi srfi-11)
|
2012-04-19 23:09:55 +02:00
|
|
|
|
#:use-module (srfi srfi-26)
|
2012-06-11 23:12:55 +02:00
|
|
|
|
#:use-module (srfi srfi-34)
|
2012-04-19 23:09:55 +02:00
|
|
|
|
#:use-module (srfi srfi-64)
|
2012-06-05 00:04:07 +02:00
|
|
|
|
#:use-module (rnrs io ports)
|
2012-06-09 18:49:19 +02:00
|
|
|
|
#:use-module (rnrs bytevectors)
|
2012-06-10 22:43:02 +02:00
|
|
|
|
#:use-module (ice-9 rdelim)
|
2012-06-16 16:46:29 +02:00
|
|
|
|
#:use-module (ice-9 regex)
|
2012-06-11 23:12:55 +02:00
|
|
|
|
#:use-module (ice-9 ftw)
|
|
|
|
|
#:use-module (ice-9 match))
|
2012-04-19 23:09:55 +02:00
|
|
|
|
|
2012-06-01 23:29:55 +02:00
|
|
|
|
(define %store
|
|
|
|
|
(false-if-exception (open-connection)))
|
|
|
|
|
|
2012-06-10 22:43:02 +02:00
|
|
|
|
(define (directory-contents dir)
|
|
|
|
|
"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)
|
|
|
|
|
(call-with-input-file path
|
|
|
|
|
get-bytevector-all)
|
|
|
|
|
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 23:09:55 +02:00
|
|
|
|
(test-begin "derivations")
|
|
|
|
|
|
|
|
|
|
(test-assert "parse & export"
|
2012-06-05 11:18:20 +02:00
|
|
|
|
(let* ((f (search-path %load-path "tests/test.drv"))
|
|
|
|
|
(b1 (call-with-input-file f get-bytevector-all))
|
2012-04-19 23:09:55 +02: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))))
|
|
|
|
|
|
2012-06-10 22:43:02 +02:00
|
|
|
|
(test-skip (if %store 0 4))
|
|
|
|
|
|
2012-06-12 00:19:04 +02:00
|
|
|
|
(test-assert "add-to-store, flat"
|
|
|
|
|
(let* ((file (search-path %load-path "language/tree-il/spec.scm"))
|
|
|
|
|
(drv (add-to-store %store "flat-test" #t #f "sha256" file)))
|
|
|
|
|
(and (eq? 'regular (stat:type (stat drv)))
|
2012-07-01 00:21:16 +02:00
|
|
|
|
(valid-path? %store drv)
|
2012-06-12 00:19:04 +02:00
|
|
|
|
(equal? (call-with-input-file file get-bytevector-all)
|
|
|
|
|
(call-with-input-file drv get-bytevector-all)))))
|
|
|
|
|
|
2012-06-10 22:43:02 +02:00
|
|
|
|
(test-assert "add-to-store, recursive"
|
|
|
|
|
(let* ((dir (dirname (search-path %load-path "language/tree-il/spec.scm")))
|
|
|
|
|
(drv (add-to-store %store "dir-tree-test" #t #t "sha256" dir)))
|
|
|
|
|
(and (eq? 'directory (stat:type (stat drv)))
|
2012-07-01 00:21:16 +02:00
|
|
|
|
(valid-path? %store drv)
|
2012-06-10 22:43:02 +02:00
|
|
|
|
(equal? (directory-contents dir)
|
|
|
|
|
(directory-contents drv)))))
|
2012-06-01 23:29:55 +02:00
|
|
|
|
|
|
|
|
|
(test-assert "derivation with no inputs"
|
2012-07-01 00:21:16 +02:00
|
|
|
|
(let* ((builder (add-text-to-store %store "my-builder.sh"
|
|
|
|
|
"#!/bin/sh\necho hello, world\n"
|
|
|
|
|
'()))
|
|
|
|
|
(drv-path (derivation %store "foo" (%current-system) builder
|
|
|
|
|
'() '(("HOME" . "/homeless")) '())))
|
|
|
|
|
(and (store-path? drv-path)
|
|
|
|
|
(valid-path? %store drv-path))))
|
2012-06-01 23:29:55 +02:00
|
|
|
|
|
2012-06-05 00:04:07 +02:00
|
|
|
|
(test-assert "build derivation with 1 source"
|
|
|
|
|
(let*-values (((builder)
|
|
|
|
|
(add-text-to-store %store "my-builder.sh"
|
2012-06-07 23:15:00 +02:00
|
|
|
|
"echo hello, world > \"$out\"\n"
|
2012-06-05 00:04:07 +02:00
|
|
|
|
'()))
|
|
|
|
|
((drv-path drv)
|
2012-06-11 21:50:17 +02:00
|
|
|
|
(derivation %store "foo" (%current-system)
|
2012-06-05 00:04:07 +02:00
|
|
|
|
"/bin/sh" `(,builder)
|
2012-06-09 21:50:30 +02:00
|
|
|
|
'(("HOME" . "/homeless")
|
|
|
|
|
("zzz" . "Z!")
|
|
|
|
|
("AAA" . "A!"))
|
2012-06-05 00:04:07 +02:00
|
|
|
|
`((,builder))))
|
|
|
|
|
((succeeded?)
|
|
|
|
|
(build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(let ((path (derivation-output-path
|
|
|
|
|
(assoc-ref (derivation-outputs drv) "out"))))
|
2012-07-01 00:21:16 +02:00
|
|
|
|
(and (valid-path? %store path)
|
|
|
|
|
(string=? (call-with-input-file path read-line)
|
|
|
|
|
"hello, world"))))))
|
2012-06-05 00:04:07 +02:00
|
|
|
|
|
2012-06-09 18:49:19 +02: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")))
|
2012-06-11 21:50:17 +02:00
|
|
|
|
(drv-path (derivation %store "fixed" (%current-system)
|
2012-06-09 18:49:19 +02:00
|
|
|
|
"/bin/sh" `(,builder)
|
|
|
|
|
'() `((,builder))
|
|
|
|
|
#:hash hash #:hash-algo 'sha256))
|
|
|
|
|
(succeeded? (build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(let ((p (derivation-path->output-path drv-path)))
|
|
|
|
|
(equal? (string->utf8 "hello")
|
|
|
|
|
(call-with-input-file p get-bytevector-all))))))
|
|
|
|
|
|
2012-06-09 21:52:31 +02:00
|
|
|
|
(test-assert "multiple-output derivation"
|
|
|
|
|
(let* ((builder (add-text-to-store %store "my-fixed-builder.sh"
|
|
|
|
|
"echo one > $out ; echo two > $second"
|
|
|
|
|
'()))
|
2012-06-11 21:50:17 +02:00
|
|
|
|
(drv-path (derivation %store "fixed" (%current-system)
|
2012-06-09 21:52:31 +02:00
|
|
|
|
"/bin/sh" `(,builder)
|
|
|
|
|
'(("HOME" . "/homeless")
|
|
|
|
|
("zzz" . "Z!")
|
|
|
|
|
("AAA" . "A!"))
|
|
|
|
|
`((,builder))
|
|
|
|
|
#: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")))
|
|
|
|
|
(and (eq? 'one (call-with-input-file one read))
|
|
|
|
|
(eq? 'two (call-with-input-file two read)))))))
|
|
|
|
|
|
2012-06-07 23:15:00 +02:00
|
|
|
|
|
|
|
|
|
(define %coreutils
|
|
|
|
|
(false-if-exception (nixpkgs-derivation "coreutils")))
|
|
|
|
|
|
|
|
|
|
(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
|
2012-06-11 21:50:17 +02:00
|
|
|
|
(derivation %store "foo" (%current-system)
|
2012-06-07 23:15:00 +02:00
|
|
|
|
"/bin/sh" `(,builder)
|
|
|
|
|
`(("PATH" .
|
|
|
|
|
,(string-append
|
|
|
|
|
(derivation-path->output-path %coreutils)
|
|
|
|
|
"/bin")))
|
|
|
|
|
`((,builder)
|
|
|
|
|
(,%coreutils))))
|
|
|
|
|
(succeeded?
|
|
|
|
|
(build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(let ((p (derivation-path->output-path drv-path)))
|
2012-07-01 00:21:16 +02:00
|
|
|
|
(and (valid-path? %store p)
|
|
|
|
|
(file-exists? (string-append p "/good")))))))
|
2012-06-07 23:15:00 +02:00
|
|
|
|
|
2012-07-01 00:37:03 +02:00
|
|
|
|
(test-skip (if (%guile-for-build) 0 6))
|
|
|
|
|
|
|
|
|
|
(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 21:31:01 +02: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 21:50:17 +02:00
|
|
|
|
(drv-path (build-expression->derivation %store "goo" (%current-system)
|
2012-06-08 21:31:01 +02: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))))))
|
|
|
|
|
|
2012-07-01 00:37:03 +02: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))))
|
|
|
|
|
|
2012-06-16 16:46:29 +02: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-07-01 00:21:16 +02:00
|
|
|
|
builder '()))
|
|
|
|
|
(out-path (derivation-path->output-path drv-path)))
|
2012-06-16 16:46:29 +02:00
|
|
|
|
(guard (c ((nix-protocol-error? c)
|
|
|
|
|
;; Note that the output path may exist at this point, but it
|
|
|
|
|
;; is invalid.
|
2012-07-01 00:21:16 +02:00
|
|
|
|
(and (string-match "build .* failed"
|
|
|
|
|
(nix-protocol-error-message c))
|
|
|
|
|
(not (valid-path? %store out-path)))))
|
2012-06-16 16:46:29 +02:00
|
|
|
|
(build-derivations %store (list drv-path))
|
|
|
|
|
#f)))
|
|
|
|
|
|
2012-06-09 23:16:55 +02: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 21:50:17 +02:00
|
|
|
|
(%current-system)
|
2012-06-09 23:16:55 +02: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-06-08 21:31:01 +02: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 21:50:17 +02:00
|
|
|
|
(drv-path (build-expression->derivation %store "uname" (%current-system)
|
2012-06-08 21:31:01 +02:00
|
|
|
|
builder
|
2012-06-13 17:21:27 +02:00
|
|
|
|
`(("cu" ,%coreutils))))
|
2012-06-08 21:31:01 +02: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 23:12:55 +02: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 23:30:00 +02:00
|
|
|
|
("p/q" . ,(search-path %load-path "guix.scm"))
|
|
|
|
|
("p/z" . ,(search-path %load-path "guix/store.scm"))))
|
2012-06-11 23:12:55 +02: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-06-09 18:51:25 +02:00
|
|
|
|
(test-skip (if (false-if-exception (getaddrinfo "ftp.gnu.org" "http"))
|
|
|
|
|
0
|
|
|
|
|
1))
|
|
|
|
|
|
|
|
|
|
(test-assert "build-expression->derivation for fixed-output derivation"
|
|
|
|
|
(let* ((url "http://ftp.gnu.org/gnu/hello/hello-2.8.tar.gz")
|
2012-06-11 23:02:39 +02:00
|
|
|
|
(builder
|
|
|
|
|
`(begin
|
|
|
|
|
(use-modules (web client) (web uri)
|
|
|
|
|
(rnrs io ports) (srfi srfi-11))
|
|
|
|
|
(let-values (((resp bv)
|
|
|
|
|
(http-get (string->uri ,url) #:decode-body? #f)))
|
|
|
|
|
(call-with-output-file %output
|
|
|
|
|
(lambda (p)
|
|
|
|
|
(put-bytevector p bv))))))
|
2012-06-09 18:51:25 +02:00
|
|
|
|
(drv-path (build-expression->derivation
|
2012-06-11 21:50:17 +02:00
|
|
|
|
%store "hello-2.8.tar.gz" (%current-system) builder '()
|
2012-06-09 18:51:25 +02:00
|
|
|
|
#:hash (nix-base32-string->bytevector
|
|
|
|
|
"0wqd8sjmxfskrflaxywc7gqw7sfawrfvdxd9skxawzfgyy0pzdz6")
|
|
|
|
|
#:hash-algo 'sha256))
|
|
|
|
|
(succeeded? (build-derivations %store (list drv-path))))
|
|
|
|
|
(and succeeded?
|
|
|
|
|
(file-exists? (derivation-path->output-path drv-path)))))
|
|
|
|
|
|
2012-04-19 23:09:55 +02:00
|
|
|
|
(test-end)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(exit (= (test-runner-fail-count (test-runner-current)) 0))
|
|
|
|
|
|
|
|
|
|
;;; Local Variables:
|
|
|
|
|
;;; eval: (put 'test-assert 'scheme-indent-function 1)
|
2012-06-16 16:46:29 +02:00
|
|
|
|
;;; eval: (put 'guard 'scheme-indent-function 1)
|
2012-04-19 23:09:55 +02:00
|
|
|
|
;;; End:
|