time/Pkgfile

   1 # Description: Measures many of the CPU resources that programs use
   2 # URL:  http://www.gnu.org/software/time/
   3 # Maintainer: CRUX System Team, core-ports at crux dot nu
   4 # Arch Maintainer: CRUX-ARM System Team, devel at crux-arm dot nu
   5 # Depends on:
   6
   7 name=time
   8 version=1.7
   9 release=3
  10 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.gz \
  11         resuse.h.patch $name.1)
  12
  13 build() {
  14   cd $name-$version
  15   patch -p0 -i $SRC/resuse.h.patch
  16
  17   ./configure --build=$CHOST \
  18               --host=$CTARGET \
  19               --prefix=/usr \
  20               --infodir=$PKG/usr/info
  21
  22   make
  23   make prefix=$PKG/usr install
  24
  25   rm -rf $PKG/usr/info
  26   install -D -m 0644 $SRC/$name.1 $PKG/usr/share/man/man1/$name.1
  27 }