tests/size.scm

   1 ;;; GNU Guix --- Functional package management for GNU
   2 ;;; Copyright © 2015, 2016, 2017 Ludovic Courtès <ludo@gnu.org>
   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 (test-size)
  20   #:use-module (guix store)
  21   #:use-module (guix monads)
  22   #:use-module (guix packages)
  23   #:use-module (guix derivations)
  24   #:use-module (guix gexp)
  25   #:use-module (guix tests)
  26   #:use-module (guix scripts size)
  27   #:use-module (gnu packages)
  28   #:use-module (gnu packages bootstrap)
  29   #:use-module (ice-9 match)
  30   #:use-module (srfi srfi-1)
  31   #:use-module (srfi srfi-64))
  32
  33 \f
  34 (test-begin "size")
  35
  36 (test-assertm "store-profile"
  37   (mlet* %store-monad ((file1 (gexp->derivation "file1"
  38                                                 #~(symlink #$%bootstrap-guile
  39                                                            #$output)))
  40                        (file2 (text-file* "file2"
  41                                           "the file => " file1)))
  42     (define (matching-profile item)
  43       (lambda (profile)
  44         (string=? item (profile-file profile))))
  45
  46     (mbegin %store-monad
  47       (built-derivations (list file2))
  48       (mlet %store-monad ((profiles (store-profile
  49                                      (list (derivation->output-path file2))))
  50                           (bash     (interned-file
  51                                      (search-bootstrap-binary
  52                                       "bash" (%current-system)) "bash"
  53                                       #:recursive? #t))
  54                           (guile    (package->derivation %bootstrap-guile)))
  55         (define (lookup-profile item)
  56           (find (matching-profile (if (derivation? item)
  57                                       (derivation->output-path item)
  58                                       item))
  59                 profiles))
  60
  61         (letrec-syntax ((match* (syntax-rules (=>)
  62                                   ((_ ((drv => profile) rest ...) body)
  63                                    (match (lookup-profile drv)
  64                                      ((? profile? profile)
  65                                       (match* (rest ...) body))))
  66                                   ((_ () body)
  67                                    body))))
  68           ;; Make sure we get all three profiles with sensible values.
  69           (return (and (= (length profiles) 4)
  70                        (match* ((file1 => profile1)
  71                                 (file2 => profile2)
  72                                 (guile => profile3)
  73                                 (bash  => profile4)) ;dependency of GUILE
  74                          (and (> (profile-closure-size profile2) 0)
  75                               (= (profile-closure-size profile2)
  76                                  (+ (profile-self-size profile1)
  77                                     (profile-self-size profile2)
  78                                     (profile-self-size profile3)
  79                                     (profile-self-size profile4))))))))))))
  80
  81 (test-assertm "store-profile with multiple items"
  82   (mlet* %store-monad ((file1 (gexp->derivation "file1"
  83                                                 #~(symlink #$%bootstrap-guile
  84                                                            #$output)))
  85                        (file2 (text-file* "file2"
  86                                           "the file => " file1)))
  87     (mbegin %store-monad
  88       (built-derivations (list file2))
  89       (mlet %store-monad ((profiles  (store-profile
  90                                       (list (derivation->output-path file2)
  91                                             (derivation->output-path file1))))
  92                           (reference (store-profile
  93                                       (list (derivation->output-path file2)))))
  94         (return (and (= (length profiles) 4)
  95                      (lset= equal? profiles reference)))))))
  96
  97 (test-end "size")
  98
  99 ;;; Local Variables:
 100 ;;; eval: (put 'match* 'scheme-indent-function 1)
 101 ;;; End: