From 415856bdd4f48ab4f2732996f0bae58595092bbe Mon Sep 17 00:00:00 2001 From: Parabola Date: Tue, 5 Apr 2011 14:26:38 +0000 Subject: Tue Apr 5 14:26:38 UTC 2011 --- extra/time/PKGBUILD | 29 +++++++++++++++++++++++++++++ extra/time/time.install | 20 ++++++++++++++++++++ 2 files changed, 49 insertions(+) create mode 100644 extra/time/PKGBUILD create mode 100644 extra/time/time.install (limited to 'extra/time') diff --git a/extra/time/PKGBUILD b/extra/time/PKGBUILD new file mode 100644 index 000000000..78d5a7d61 --- /dev/null +++ b/extra/time/PKGBUILD @@ -0,0 +1,29 @@ +# $Id: PKGBUILD 109750 2011-02-12 13:42:27Z stephane $ +# Maintainer: Stéphane Gaudreault +# Contributor: Daniel J Griffiths +# Contributor: damir + +pkgname=time +pkgver=1.7 +pkgrel=4 +pkgdesc="Utility for monitoring a program's use of system resources" +arch=('i686' 'x86_64') +url="http://www.gnu.org/directory/time.html" +license=('GPL') +depends=('glibc') +install=time.install +source=(http://ftp.gnu.org/pub/gnu/${pkgname}/${pkgname}-${pkgver}.tar.gz) +md5sums=('e38d2b8b34b1ca259cf7b053caac32b3') + +build() { + cd "${srcdir}/${pkgname}-${pkgver}" + + ./configure --prefix=/usr --infodir=/usr/share/info + make +} + +package() { + cd "${srcdir}/${pkgname}-${pkgver}" + + make exec_prefix="${pkgdir}/usr" infodir="${pkgdir}/usr/share/info" install +} diff --git a/extra/time/time.install b/extra/time/time.install new file mode 100644 index 000000000..011597c00 --- /dev/null +++ b/extra/time/time.install @@ -0,0 +1,20 @@ +infodir=/usr/share/info +filelist=(time.info.gz) + +post_install() { + [ -x usr/bin/install-info ] || return 0 + for file in ${filelist[@]}; do + install-info $infodir/$file $infodir/dir 2> /dev/null + done +} + +post_upgrade() { + post_install $1 +} + +pre_remove() { + [ -x usr/bin/install-info ] || return 0 + for file in ${filelist[@]}; do + install-info --delete $infodir/$file $infodir/dir 2> /dev/null + done +} -- cgit v1.2.3-54-g00ecf