Date: Sunday, December 20, 2020 @ 14:48:23 Author: jelle Revision: 780433
extra2community: Moving time from extra to community Added: time/ time/repos/ time/trunk/ time/trunk/PKGBUILD ----------+ PKGBUILD | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) Added: time/trunk/PKGBUILD =================================================================== --- time/trunk/PKGBUILD (rev 0) +++ time/trunk/PKGBUILD 2020-12-20 14:48:23 UTC (rev 780433) @@ -0,0 +1,41 @@ +# Maintainer: Dave Reisner <[email protected]> +# Contributor: Stéphane Gaudreault <[email protected]> +# Contributor: Daniel J Griffiths <[email protected]> +# Contributor: damir <[email protected]> + +pkgname=time +pkgver=1.9 +pkgrel=3 +pkgdesc="Utility for monitoring a program's use of system resources" +arch=('x86_64') +url='https://www.gnu.org/software/time/' +license=('GPL') +depends=('glibc') +makedepends=('git') +source=(https://git.savannah.gnu.org/cgit/time.git/snapshot/time-$pkgver.tar.gz + git://git.savannah.gnu.org/gnulib.git#commit=9462eb64fbf6646e9109b003a6768538d2b7dad4) +sha1sums=('724d5857f555261c847d80f2783ca41891879c86' + 'SKIP') + +prepare() { + cd "$pkgname-$pkgver" + + ./bootstrap --no-git --gnulib-srcdir="$srcdir/gnulib" +} + +build() { + cd "$pkgname-$pkgver" + + ./configure --prefix=/usr --infodir=/usr/share/info + make +} + +check() { + make -C "$pkgname-$pkgver" check +} + +package() { + cd "$pkgname-$pkgver" + + make exec_prefix="$pkgdir/usr" infodir="$pkgdir/usr/share/info" install +}
