diff options
author | Ludovic Courtès <ludo@gnu.org> | 2013-01-06 17:42:59 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2013-01-06 17:42:59 +0100 |
commit | a9f8b72ee1d0a6b2837a49d89698304792b39b4b (patch) | |
tree | b4977415b200e83fb21de4c51275a54be6182758 /distro | |
parent | 4050e5d6cfe8f7af29f10b2f1b3c7febdc10946a (diff) | |
download | gnu-guix-a9f8b72ee1d0a6b2837a49d89698304792b39b4b.tar gnu-guix-a9f8b72ee1d0a6b2837a49d89698304792b39b4b.tar.gz |
distro: time: Adjust `configure' phase to old `configure' script.
* distro/packages/time.scm (time): Add `arguments'.
Diffstat (limited to 'distro')
-rw-r--r-- | distro/packages/time.scm | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/distro/packages/time.scm b/distro/packages/time.scm index b7eaec0c21..0b7bde9a1b 100644 --- a/distro/packages/time.scm +++ b/distro/packages/time.scm @@ -1,5 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2012 Nikita Karetnikov <nikita@karetnikov.org> +;;; Copyright © 2013 Ludovic Courtès <ludo@gnu.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -35,6 +36,18 @@ (base32 "0va9063fcn7xykv658v2s9gilj2fq4rcdxx2mn2mmy1v4ndafzp3")))) (build-system gnu-build-system) + (arguments + '(#:phases + (alist-replace 'configure + (lambda* (#:key outputs #:allow-other-keys) + ;; This old `configure' script doesn't support + ;; variables passed as arguments. + (let ((out (assoc-ref outputs "out"))) + (setenv "CONFIG_SHELL" (which "bash")) + (zero? + (system* "./configure" + (string-append "--prefix=" out))))) + %standard-phases))) (home-page "http://www.gnu.org/software/time/") (synopsis "GNU Time, a tool that runs programs and summarizes the system @@ -49,6 +62,5 @@ in a file instead of displaying it on the screen. The resources that 'time' can report on fall into the general categories of time, memory, and I/O and IPC calls. Some systems do not provide much information about program resource use; 'time' reports unavailable -information as zero values. -") - (license gpl2+)))
\ No newline at end of file +information as zero values.") + (license gpl2+))) |