aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2013-01-06 17:42:59 +0100
committerLudovic Courtès <ludo@gnu.org>2013-01-06 17:42:59 +0100
commita9f8b72ee1d0a6b2837a49d89698304792b39b4b (patch)
treeb4977415b200e83fb21de4c51275a54be6182758
parent4050e5d6cfe8f7af29f10b2f1b3c7febdc10946a (diff)
downloadguix-a9f8b72ee1d0a6b2837a49d89698304792b39b4b.tar
guix-a9f8b72ee1d0a6b2837a49d89698304792b39b4b.tar.gz
distro: time: Adjust `configure' phase to old `configure' script.
* distro/packages/time.scm (time): Add `arguments'.
-rw-r--r--distro/packages/time.scm18
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+)))