2013-11-01 23:11:17 +01:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2015-02-08 18:52:00 +01:00
|
|
|
|
;;; Copyright © 2013, 2014, 2015 Ludovic Courtès <ludo@gnu.org>
|
2014-08-13 22:03:53 +02:00
|
|
|
|
;;; Copyright © 2014 Alex Kost <alezost@gmail.com>
|
2013-11-01 23:11:17 +01:00
|
|
|
|
;;;
|
|
|
|
|
;;; 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-profiles)
|
2014-08-23 19:18:01 +02:00
|
|
|
|
#:use-module (guix tests)
|
2013-11-01 23:11:17 +01:00
|
|
|
|
#:use-module (guix profiles)
|
2014-07-26 22:54:40 +02:00
|
|
|
|
#:use-module (guix store)
|
|
|
|
|
#:use-module (guix monads)
|
|
|
|
|
#:use-module (guix packages)
|
|
|
|
|
#:use-module (guix derivations)
|
|
|
|
|
#:use-module (gnu packages bootstrap)
|
2015-03-11 23:20:50 +01:00
|
|
|
|
#:use-module ((gnu packages base) #:prefix packages:)
|
2013-11-01 23:11:17 +01:00
|
|
|
|
#:use-module (ice-9 match)
|
2014-09-02 21:12:59 +02:00
|
|
|
|
#:use-module (ice-9 regex)
|
2014-08-30 21:52:32 +02:00
|
|
|
|
#:use-module (srfi srfi-11)
|
2013-11-01 23:11:17 +01:00
|
|
|
|
#:use-module (srfi srfi-64))
|
|
|
|
|
|
2014-08-13 22:03:53 +02:00
|
|
|
|
;; Test the (guix profiles) module.
|
2013-11-01 23:11:17 +01:00
|
|
|
|
|
2014-07-26 22:54:40 +02:00
|
|
|
|
(define %store
|
2014-08-23 19:18:01 +02:00
|
|
|
|
(open-connection-for-tests))
|
2013-11-01 23:11:17 +01:00
|
|
|
|
|
2014-12-15 22:47:55 +01:00
|
|
|
|
(define-syntax-rule (test-assertm name exp)
|
|
|
|
|
(test-assert name
|
|
|
|
|
(run-with-store %store exp
|
|
|
|
|
#:guile-for-build (%guile-for-build))))
|
|
|
|
|
|
2013-11-01 23:11:17 +01:00
|
|
|
|
;; Example manifest entries.
|
|
|
|
|
|
2014-08-12 10:32:16 +02:00
|
|
|
|
(define guile-1.8.8
|
|
|
|
|
(manifest-entry
|
|
|
|
|
(name "guile")
|
|
|
|
|
(version "1.8.8")
|
|
|
|
|
(item "/gnu/store/...")
|
|
|
|
|
(output "out")))
|
|
|
|
|
|
2013-11-01 23:11:17 +01:00
|
|
|
|
(define guile-2.0.9
|
|
|
|
|
(manifest-entry
|
|
|
|
|
(name "guile")
|
|
|
|
|
(version "2.0.9")
|
2014-07-26 22:08:10 +02:00
|
|
|
|
(item "/gnu/store/...")
|
2013-11-01 23:11:17 +01:00
|
|
|
|
(output "out")))
|
|
|
|
|
|
|
|
|
|
(define guile-2.0.9:debug
|
|
|
|
|
(manifest-entry (inherit guile-2.0.9)
|
|
|
|
|
(output "debug")))
|
|
|
|
|
|
2014-08-30 21:52:32 +02:00
|
|
|
|
(define glibc
|
|
|
|
|
(manifest-entry
|
|
|
|
|
(name "glibc")
|
|
|
|
|
(version "2.19")
|
|
|
|
|
(item "/gnu/store/...")
|
|
|
|
|
(output "out")))
|
|
|
|
|
|
2013-11-01 23:11:17 +01:00
|
|
|
|
|
|
|
|
|
(test-begin "profiles")
|
|
|
|
|
|
|
|
|
|
(test-assert "manifest-installed?"
|
|
|
|
|
(let ((m (manifest (list guile-2.0.9 guile-2.0.9:debug))))
|
|
|
|
|
(and (manifest-installed? m (manifest-pattern (name "guile")))
|
|
|
|
|
(manifest-installed? m (manifest-pattern
|
|
|
|
|
(name "guile") (output "debug")))
|
|
|
|
|
(manifest-installed? m (manifest-pattern
|
|
|
|
|
(name "guile") (output "out")
|
|
|
|
|
(version "2.0.9")))
|
|
|
|
|
(not (manifest-installed?
|
|
|
|
|
m (manifest-pattern (name "guile") (version "1.8.8"))))
|
|
|
|
|
(not (manifest-installed?
|
|
|
|
|
m (manifest-pattern (name "guile") (output "foobar")))))))
|
|
|
|
|
|
|
|
|
|
(test-assert "manifest-matching-entries"
|
|
|
|
|
(let* ((e (list guile-2.0.9 guile-2.0.9:debug))
|
|
|
|
|
(m (manifest e)))
|
|
|
|
|
(and (null? (manifest-matching-entries m
|
|
|
|
|
(list (manifest-pattern
|
|
|
|
|
(name "python")))))
|
|
|
|
|
(equal? e
|
|
|
|
|
(manifest-matching-entries m
|
|
|
|
|
(list (manifest-pattern
|
|
|
|
|
(name "guile")
|
|
|
|
|
(output #f)))))
|
|
|
|
|
(equal? (list guile-2.0.9)
|
|
|
|
|
(manifest-matching-entries m
|
|
|
|
|
(list (manifest-pattern
|
|
|
|
|
(name "guile")
|
|
|
|
|
(version "2.0.9"))))))))
|
|
|
|
|
|
|
|
|
|
(test-assert "manifest-remove"
|
|
|
|
|
(let* ((m0 (manifest (list guile-2.0.9 guile-2.0.9:debug)))
|
|
|
|
|
(m1 (manifest-remove m0
|
|
|
|
|
(list (manifest-pattern (name "guile")))))
|
|
|
|
|
(m2 (manifest-remove m1
|
|
|
|
|
(list (manifest-pattern (name "guile"))))) ; same
|
|
|
|
|
(m3 (manifest-remove m2
|
|
|
|
|
(list (manifest-pattern
|
|
|
|
|
(name "guile") (output "debug")))))
|
|
|
|
|
(m4 (manifest-remove m3
|
|
|
|
|
(list (manifest-pattern (name "guile"))))))
|
|
|
|
|
(match (manifest-entries m2)
|
|
|
|
|
((($ <manifest-entry> "guile" "2.0.9" "debug"))
|
|
|
|
|
(and (equal? m1 m2)
|
|
|
|
|
(null? (manifest-entries m3))
|
|
|
|
|
(null? (manifest-entries m4)))))))
|
|
|
|
|
|
2014-08-12 10:32:16 +02:00
|
|
|
|
(test-assert "manifest-add"
|
|
|
|
|
(let* ((m0 (manifest '()))
|
|
|
|
|
(m1 (manifest-add m0 (list guile-1.8.8)))
|
|
|
|
|
(m2 (manifest-add m1 (list guile-2.0.9)))
|
|
|
|
|
(m3 (manifest-add m2 (list guile-2.0.9:debug)))
|
|
|
|
|
(m4 (manifest-add m3 (list guile-2.0.9:debug))))
|
|
|
|
|
(and (match (manifest-entries m1)
|
|
|
|
|
((($ <manifest-entry> "guile" "1.8.8" "out")) #t)
|
|
|
|
|
(_ #f))
|
|
|
|
|
(match (manifest-entries m2)
|
|
|
|
|
((($ <manifest-entry> "guile" "2.0.9" "out")) #t)
|
|
|
|
|
(_ #f))
|
|
|
|
|
(equal? m3 m4))))
|
|
|
|
|
|
2014-08-13 22:03:53 +02:00
|
|
|
|
(test-assert "manifest-perform-transaction"
|
|
|
|
|
(let* ((m0 (manifest (list guile-2.0.9 guile-2.0.9:debug)))
|
|
|
|
|
(t1 (manifest-transaction
|
|
|
|
|
(install (list guile-1.8.8))
|
|
|
|
|
(remove (list (manifest-pattern (name "guile")
|
|
|
|
|
(output "debug"))))))
|
|
|
|
|
(t2 (manifest-transaction
|
|
|
|
|
(remove (list (manifest-pattern (name "guile")
|
|
|
|
|
(version "2.0.9")
|
|
|
|
|
(output #f))))))
|
|
|
|
|
(m1 (manifest-perform-transaction m0 t1))
|
|
|
|
|
(m2 (manifest-perform-transaction m1 t2))
|
|
|
|
|
(m3 (manifest-perform-transaction m0 t2)))
|
|
|
|
|
(and (match (manifest-entries m1)
|
|
|
|
|
((($ <manifest-entry> "guile" "1.8.8" "out")) #t)
|
|
|
|
|
(_ #f))
|
|
|
|
|
(equal? m1 m2)
|
|
|
|
|
(null? (manifest-entries m3)))))
|
|
|
|
|
|
2014-08-30 21:52:32 +02:00
|
|
|
|
(test-assert "manifest-transaction-effects"
|
|
|
|
|
(let* ((m0 (manifest (list guile-1.8.8)))
|
|
|
|
|
(t (manifest-transaction
|
|
|
|
|
(install (list guile-2.0.9 glibc))
|
|
|
|
|
(remove (list (manifest-pattern (name "coreutils")))))))
|
2015-02-08 18:52:00 +01:00
|
|
|
|
(let-values (((remove install upgrade downgrade)
|
2014-08-30 21:52:32 +02:00
|
|
|
|
(manifest-transaction-effects m0 t)))
|
2015-02-08 18:52:00 +01:00
|
|
|
|
(and (null? remove) (null? downgrade)
|
2014-08-30 21:52:32 +02:00
|
|
|
|
(equal? (list glibc) install)
|
2014-09-02 21:12:59 +02:00
|
|
|
|
(equal? (list (cons guile-1.8.8 guile-2.0.9)) upgrade)))))
|
|
|
|
|
|
2015-02-08 18:52:00 +01:00
|
|
|
|
(test-assert "manifest-transaction-effects and downgrades"
|
|
|
|
|
(let* ((m0 (manifest (list guile-2.0.9)))
|
|
|
|
|
(t (manifest-transaction (install (list guile-1.8.8)))))
|
|
|
|
|
(let-values (((remove install upgrade downgrade)
|
|
|
|
|
(manifest-transaction-effects m0 t)))
|
|
|
|
|
(and (null? remove) (null? install) (null? upgrade)
|
|
|
|
|
(equal? (list (cons guile-2.0.9 guile-1.8.8)) downgrade)))))
|
|
|
|
|
|
2015-02-09 17:18:48 +01:00
|
|
|
|
(test-assert "manifest-transaction-effects and pseudo-upgrades"
|
|
|
|
|
(let* ((m0 (manifest (list guile-2.0.9)))
|
|
|
|
|
(t (manifest-transaction (install (list guile-2.0.9)))))
|
|
|
|
|
(let-values (((remove install upgrade downgrade)
|
|
|
|
|
(manifest-transaction-effects m0 t)))
|
|
|
|
|
(and (null? remove) (null? install) (null? downgrade)
|
|
|
|
|
(equal? (list (cons guile-2.0.9 guile-2.0.9)) upgrade)))))
|
|
|
|
|
|
2014-12-15 22:47:55 +01:00
|
|
|
|
(test-assertm "profile-derivation"
|
|
|
|
|
(mlet* %store-monad
|
|
|
|
|
((entry -> (package->manifest-entry %bootstrap-guile))
|
|
|
|
|
(guile (package->derivation %bootstrap-guile))
|
|
|
|
|
(drv (profile-derivation (manifest (list entry))
|
2015-03-04 17:04:35 +01:00
|
|
|
|
#:info-dir? #f
|
2015-04-04 22:51:13 +02:00
|
|
|
|
#:ghc-package-cache? #f
|
2015-03-04 17:04:35 +01:00
|
|
|
|
#:ca-certificate-bundle? #f))
|
2014-12-15 22:47:55 +01:00
|
|
|
|
(profile -> (derivation->output-path drv))
|
|
|
|
|
(bindir -> (string-append profile "/bin"))
|
|
|
|
|
(_ (built-derivations (list drv))))
|
|
|
|
|
(return (and (file-exists? (string-append bindir "/guile"))
|
|
|
|
|
(string=? (dirname (readlink bindir))
|
|
|
|
|
(derivation->output-path guile))))))
|
2014-07-26 22:54:40 +02:00
|
|
|
|
|
2015-03-11 23:20:50 +01:00
|
|
|
|
(test-assertm "profile-derivation, inputs"
|
|
|
|
|
(mlet* %store-monad
|
|
|
|
|
((entry -> (package->manifest-entry packages:glibc "debug"))
|
|
|
|
|
(drv (profile-derivation (manifest (list entry))
|
|
|
|
|
#:info-dir? #f
|
2015-04-04 22:51:13 +02:00
|
|
|
|
#:ghc-package-cache? #f
|
2015-03-11 23:20:50 +01:00
|
|
|
|
#:ca-certificate-bundle? #f)))
|
|
|
|
|
(return (derivation-inputs drv))))
|
|
|
|
|
|
2013-11-01 23:11:17 +01:00
|
|
|
|
(test-end "profiles")
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(exit (= (test-runner-fail-count (test-runner-current)) 0))
|
|
|
|
|
|
|
|
|
|
;;; Local Variables:
|
|
|
|
|
;;; eval: (put 'dummy-package 'scheme-indent-function 1)
|
|
|
|
|
;;; End:
|