diff options
Diffstat (limited to 'time/Pkgfile.old')
-rw-r--r-- | time/Pkgfile.old | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/time/Pkgfile.old b/time/Pkgfile.old new file mode 100644 index 0000000..19d5095 --- /dev/null +++ b/time/Pkgfile.old @@ -0,0 +1,18 @@ +# 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.7 +release=1 +source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.gz $name.1) + +build() { + cd $name-$version + ./configure --prefix=/usr + make + make prefix=$PKG/usr install + rm -rf $PKG/usr/info + mkdir -p $PKG/usr/man/man1 + cp ../$name.1 $PKG/usr/man/man1 +} |