2016-07-22 18:56:15 +02:00
|
|
|
# Description = Measures many of the CPU resources, such as time and memory, that other programs use.
|
2016-02-24 01:27:23 +01:00
|
|
|
# URL: http://ftp.gnu.org/gnu/time
|
2016-07-22 18:56:15 +02:00
|
|
|
# Packager: alihan-ozturk28@hotmail.com
|
|
|
|
|
# Depends on :
|
2016-02-24 01:27:23 +01:00
|
|
|
|
|
|
|
|
name=time
|
|
|
|
|
version=1.7
|
|
|
|
|
release=1
|
|
|
|
|
source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.gz)
|
|
|
|
|
|
|
|
|
|
build() {
|
|
|
|
|
|
|
|
|
|
cd $name-$version
|
|
|
|
|
|
|
|
|
|
sed -i 's/$(ACLOCAL)//' Makefile.in
|
|
|
|
|
sed -i 's/lu", ptok ((UL) resp->ru.ru_maxrss)/ld", resp->ru.ru_maxrss/' time.c
|
|
|
|
|
|
|
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr \
|
|
|
|
|
--infodir=/usr/share/info
|
|
|
|
|
|
|
|
|
|
make
|
|
|
|
|
|
|
|
|
|
install -v -m755 -d $PKG/usr/share/info
|
|
|
|
|
install -v -m755 -d $PKG/usr/bin
|
|
|
|
|
|
|
|
|
|
/usr/bin/install -c -m 644 ./time.info $PKG/usr/share/info/time.info
|
|
|
|
|
/usr/bin/install -c time $PKG/usr/bin/`echo time|sed 's,x,x,'`
|
|
|
|
|
|
|
|
|
|
}
|
