2011-06-24 18:53:40 +00:00
|
|
|
# Template file for 'time'
|
|
|
|
pkgname=time
|
|
|
|
version=1.7
|
|
|
|
distfiles="$GNU_SITE/$pkgname/$pkgname-$version.tar.gz"
|
|
|
|
short_desc="The GNU time program for measuring cpu resource usage"
|
2011-07-17 06:27:36 +00:00
|
|
|
maintainer="Juan RP <xtraeme@gmail.com>"
|
2011-06-24 18:53:40 +00:00
|
|
|
homepage="http://directory.fsf.org/project/time"
|
|
|
|
license="GPL-2"
|
|
|
|
checksum=e37ea79a253bf85a85ada2f7c632c14e481a5fd262a362f6f4fd58e68601496d
|
|
|
|
long_desc="
|
|
|
|
The time command runs another program, then displays information about the
|
|
|
|
resources used by that program, collected by the system while the program
|
|
|
|
was running. You can select which information is reported and the format in
|
|
|
|
which it is shown, or have time save the information in a file instead of
|
|
|
|
display it on the screen."
|
|
|
|
|
|
|
|
Add_dependency run glibc
|
|
|
|
Add_dependency build glibc-devel
|
|
|
|
|
|
|
|
do_build()
|
|
|
|
{
|
|
|
|
./configure --prefix=/usr --infodir=/usr/share/info
|
|
|
|
make ${makejobs}
|
|
|
|
}
|
|
|
|
|
|
|
|
do_install()
|
|
|
|
{
|
|
|
|
make exec_prefix="${DESTDIR}/usr" infodir="${DESTDIR}/usr/share/info" install
|
|
|
|
}
|