core/time/Pkgfile

# Description: Measures many of the CPU resources that programs use
# URL:         http://www.gnu.org/software/time/
# Maintainer:  CRUX System Team, core-ports at crux dot nu

name=time
version=1.8
release=1
source=(http://ftpmirror.gnu.org/gnu/$name/$name-$version.tar.gz $name.1)

build() {
    cd $name-$version
    ./configure --prefix=/usr
    make
    make DESTDIR=$PKG install
    rm -r $PKG/usr/share/info
    install -D -m 0644 $SRC/$name.1 $PKG/usr/share/man/man1/$name.1
}