diff options
Diffstat (limited to 'time/Pkgfile')
-rw-r--r-- | time/Pkgfile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/time/Pkgfile b/time/Pkgfile new file mode 100644 index 0000000..ffc2636 --- /dev/null +++ b/time/Pkgfile @@ -0,0 +1,20 @@ +description="Measures many of the CPU resources that programs use" +packager="" +maintainer="CRUX System Team, core-ports at crux dot nu" +url="http://www.gnu.org/software/time/" +depends=() + +name=time +version=1.7 +release=1 +source=(http://ftp.gnu.org/gnu/time/time-1.7.tar.gz time.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 +} |