2018-10-13 08:39:23 +02:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
|
|
|
|
;;; Copyright © 2018 Ricardo Wurmus <rekado@elephly.net>
|
|
|
|
|
;;;
|
|
|
|
|
;;; 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-channels)
|
|
|
|
|
#:use-module (guix channels)
|
2019-01-17 16:57:53 +01:00
|
|
|
|
#:use-module (guix profiles)
|
2018-10-13 08:39:23 +02:00
|
|
|
|
#:use-module ((guix build syscalls) #:select (mkdtemp!))
|
|
|
|
|
#:use-module (guix tests)
|
2019-01-17 16:57:53 +01:00
|
|
|
|
#:use-module (guix store)
|
|
|
|
|
#:use-module ((guix grafts) #:select (%graft?))
|
|
|
|
|
#:use-module (guix derivations)
|
2019-01-18 10:01:37 +01:00
|
|
|
|
#:use-module (guix sets)
|
2019-01-17 16:57:53 +01:00
|
|
|
|
#:use-module (guix gexp)
|
2018-10-13 08:39:23 +02:00
|
|
|
|
#:use-module (srfi srfi-1)
|
2019-01-17 16:57:53 +01:00
|
|
|
|
#:use-module (srfi srfi-26)
|
2018-10-13 08:39:23 +02:00
|
|
|
|
#:use-module (srfi srfi-64)
|
|
|
|
|
#:use-module (ice-9 match))
|
|
|
|
|
|
|
|
|
|
(test-begin "channels")
|
|
|
|
|
|
|
|
|
|
(define* (make-instance #:key
|
|
|
|
|
(name 'fake)
|
|
|
|
|
(commit "cafebabe")
|
|
|
|
|
(spec #f))
|
|
|
|
|
(define instance-dir (mkdtemp! "/tmp/checkout.XXXXXX"))
|
|
|
|
|
(and spec
|
|
|
|
|
(with-output-to-file (string-append instance-dir "/.guix-channel")
|
|
|
|
|
(lambda _ (format #t "~a" spec))))
|
2019-01-17 16:57:53 +01:00
|
|
|
|
(checkout->channel-instance instance-dir
|
|
|
|
|
#:commit commit
|
|
|
|
|
#:name name))
|
2018-10-13 08:39:23 +02:00
|
|
|
|
|
|
|
|
|
(define instance--boring (make-instance))
|
|
|
|
|
(define instance--no-deps
|
|
|
|
|
(make-instance #:spec
|
|
|
|
|
'(channel
|
|
|
|
|
(version 0)
|
|
|
|
|
(dependencies
|
|
|
|
|
(channel
|
|
|
|
|
(name test-channel)
|
|
|
|
|
(url "https://example.com/test-channel"))))))
|
|
|
|
|
(define instance--simple
|
|
|
|
|
(make-instance #:spec
|
|
|
|
|
'(channel
|
|
|
|
|
(version 0)
|
|
|
|
|
(dependencies
|
|
|
|
|
(channel
|
|
|
|
|
(name test-channel)
|
|
|
|
|
(url "https://example.com/test-channel"))))))
|
|
|
|
|
(define instance--with-dupes
|
|
|
|
|
(make-instance #:spec
|
|
|
|
|
'(channel
|
|
|
|
|
(version 0)
|
|
|
|
|
(dependencies
|
|
|
|
|
(channel
|
|
|
|
|
(name test-channel)
|
|
|
|
|
(url "https://example.com/test-channel"))
|
|
|
|
|
(channel
|
|
|
|
|
(name test-channel)
|
|
|
|
|
(url "https://example.com/test-channel")
|
|
|
|
|
(commit "abc1234"))
|
|
|
|
|
(channel
|
|
|
|
|
(name test-channel)
|
|
|
|
|
(url "https://example.com/test-channel-elsewhere"))))))
|
|
|
|
|
|
|
|
|
|
(define read-channel-metadata
|
|
|
|
|
(@@ (guix channels) read-channel-metadata))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(test-equal "read-channel-metadata returns #f if .guix-channel does not exist"
|
|
|
|
|
#f
|
|
|
|
|
(read-channel-metadata instance--boring))
|
|
|
|
|
|
|
|
|
|
(test-assert "read-channel-metadata returns <channel-metadata>"
|
|
|
|
|
(every (@@ (guix channels) channel-metadata?)
|
|
|
|
|
(map read-channel-metadata
|
|
|
|
|
(list instance--no-deps
|
|
|
|
|
instance--simple
|
|
|
|
|
instance--with-dupes))))
|
|
|
|
|
|
|
|
|
|
(test-assert "read-channel-metadata dependencies are channels"
|
|
|
|
|
(let ((deps ((@@ (guix channels) channel-metadata-dependencies)
|
|
|
|
|
(read-channel-metadata instance--simple))))
|
|
|
|
|
(match deps
|
|
|
|
|
(((? channel? dep)) #t)
|
|
|
|
|
(_ #f))))
|
|
|
|
|
|
|
|
|
|
(test-assert "latest-channel-instances includes channel dependencies"
|
|
|
|
|
(let* ((channel (channel
|
|
|
|
|
(name 'test)
|
|
|
|
|
(url "test")))
|
|
|
|
|
(test-dir (channel-instance-checkout instance--simple)))
|
|
|
|
|
(mock ((guix git) latest-repository-commit
|
|
|
|
|
(lambda* (store url #:key ref)
|
|
|
|
|
(match url
|
|
|
|
|
("test" (values test-dir 'whatever))
|
|
|
|
|
(_ (values "/not-important" 'not-important)))))
|
|
|
|
|
(let ((instances (latest-channel-instances #f (list channel))))
|
|
|
|
|
(and (eq? 2 (length instances))
|
|
|
|
|
(lset= eq?
|
|
|
|
|
'(test test-channel)
|
|
|
|
|
(map (compose channel-name channel-instance-channel)
|
|
|
|
|
instances)))))))
|
|
|
|
|
|
|
|
|
|
(test-assert "latest-channel-instances excludes duplicate channel dependencies"
|
|
|
|
|
(let* ((channel (channel
|
|
|
|
|
(name 'test)
|
|
|
|
|
(url "test")))
|
|
|
|
|
(test-dir (channel-instance-checkout instance--with-dupes)))
|
|
|
|
|
(mock ((guix git) latest-repository-commit
|
|
|
|
|
(lambda* (store url #:key ref)
|
|
|
|
|
(match url
|
|
|
|
|
("test" (values test-dir 'whatever))
|
|
|
|
|
(_ (values "/not-important" 'not-important)))))
|
|
|
|
|
(let ((instances (latest-channel-instances #f (list channel))))
|
|
|
|
|
(and (eq? 2 (length instances))
|
|
|
|
|
(lset= eq?
|
|
|
|
|
'(test test-channel)
|
|
|
|
|
(map (compose channel-name channel-instance-channel)
|
|
|
|
|
instances))
|
|
|
|
|
;; only the most specific channel dependency should remain,
|
|
|
|
|
;; i.e. the one with a specified commit.
|
|
|
|
|
(find (lambda (instance)
|
|
|
|
|
(and (eq? (channel-name
|
|
|
|
|
(channel-instance-channel instance))
|
|
|
|
|
'test-channel)
|
|
|
|
|
(eq? (channel-commit
|
|
|
|
|
(channel-instance-channel instance))
|
|
|
|
|
'abc1234)))
|
|
|
|
|
instances))))))
|
|
|
|
|
|
2019-01-17 16:57:53 +01:00
|
|
|
|
(test-assert "channel-instances->manifest"
|
|
|
|
|
;; Compute the manifest for a graph of instances and make sure we get a
|
|
|
|
|
;; derivation graph that mirrors the instance graph. This test also ensures
|
|
|
|
|
;; we don't try to access Git repositores at all at this stage.
|
|
|
|
|
(let* ((spec (lambda deps
|
|
|
|
|
`(channel (version 0)
|
|
|
|
|
(dependencies
|
|
|
|
|
,@(map (lambda (dep)
|
|
|
|
|
`(channel
|
|
|
|
|
(name ,dep)
|
|
|
|
|
(url "http://example.org")))
|
|
|
|
|
deps)))))
|
|
|
|
|
(guix (make-instance #:name 'guix))
|
|
|
|
|
(instance0 (make-instance #:name 'a))
|
|
|
|
|
(instance1 (make-instance #:name 'b #:spec (spec 'a)))
|
|
|
|
|
(instance2 (make-instance #:name 'c #:spec (spec 'b)))
|
|
|
|
|
(instance3 (make-instance #:name 'd #:spec (spec 'c 'a))))
|
|
|
|
|
(%graft? #f) ;don't try to build stuff
|
|
|
|
|
|
|
|
|
|
;; Create 'build-self.scm' so that GUIX is recognized as the 'guix' channel.
|
|
|
|
|
(let ((source (channel-instance-checkout guix)))
|
|
|
|
|
(mkdir (string-append source "/build-aux"))
|
|
|
|
|
(call-with-output-file (string-append source
|
|
|
|
|
"/build-aux/build-self.scm")
|
|
|
|
|
(lambda (port)
|
|
|
|
|
(write '(begin
|
|
|
|
|
(use-modules (guix) (gnu packages bootstrap))
|
|
|
|
|
|
|
|
|
|
(lambda _
|
|
|
|
|
(package->derivation %bootstrap-guile)))
|
|
|
|
|
port))))
|
|
|
|
|
|
|
|
|
|
(with-store store
|
|
|
|
|
(let ()
|
|
|
|
|
(define manifest
|
|
|
|
|
(run-with-store store
|
|
|
|
|
(channel-instances->manifest (list guix
|
|
|
|
|
instance0 instance1
|
|
|
|
|
instance2 instance3))))
|
|
|
|
|
|
|
|
|
|
(define entries
|
|
|
|
|
(manifest-entries manifest))
|
|
|
|
|
|
|
|
|
|
(define (depends? drv in out)
|
2019-01-18 10:01:37 +01:00
|
|
|
|
;; Return true if DRV depends (directly or indirectly) on all of IN
|
|
|
|
|
;; and none of OUT.
|
|
|
|
|
(let ((set (list->set
|
|
|
|
|
(requisites store
|
|
|
|
|
(list (derivation-file-name drv)))))
|
2019-01-17 16:57:53 +01:00
|
|
|
|
(in (map derivation-file-name in))
|
|
|
|
|
(out (map derivation-file-name out)))
|
2019-01-18 10:01:37 +01:00
|
|
|
|
(and (every (cut set-contains? set <>) in)
|
|
|
|
|
(not (any (cut set-contains? set <>) out)))))
|
2019-01-17 16:57:53 +01:00
|
|
|
|
|
|
|
|
|
(define (lookup name)
|
|
|
|
|
(run-with-store store
|
|
|
|
|
(lower-object
|
|
|
|
|
(manifest-entry-item
|
|
|
|
|
(manifest-lookup manifest
|
|
|
|
|
(manifest-pattern (name name)))))))
|
|
|
|
|
|
|
|
|
|
(let ((drv-guix (lookup "guix"))
|
|
|
|
|
(drv0 (lookup "a"))
|
|
|
|
|
(drv1 (lookup "b"))
|
|
|
|
|
(drv2 (lookup "c"))
|
|
|
|
|
(drv3 (lookup "d")))
|
|
|
|
|
(and (depends? drv-guix '() (list drv0 drv1 drv2 drv3))
|
|
|
|
|
(depends? drv0
|
|
|
|
|
(list) (list drv1 drv2 drv3))
|
|
|
|
|
(depends? drv1
|
|
|
|
|
(list drv0) (list drv2 drv3))
|
|
|
|
|
(depends? drv2
|
2019-01-18 10:01:37 +01:00
|
|
|
|
(list drv1) (list drv3))
|
2019-01-17 16:57:53 +01:00
|
|
|
|
(depends? drv3
|
2019-01-18 10:01:37 +01:00
|
|
|
|
(list drv2 drv0) (list))))))))
|
2019-01-17 16:57:53 +01:00
|
|
|
|
|
2018-10-13 08:39:23 +02:00
|
|
|
|
(test-end "channels")
|