2008-06-29 11:33:04 +02:00
|
|
|
# Description: A debugging and profiling system for Linux programs
|
2006-02-23 16:26:10 +01:00
|
|
|
# URL: http://valgrind.org
|
2012-06-20 16:06:11 +02:00
|
|
|
# Maintainer: Thomas Penteker, tek at serverop dot de
|
|
|
|
|
# Packager: Tilman Sauerbeck, tilman at crux dot nu
|
2006-02-23 16:26:10 +01:00
|
|
|
|
|
|
|
|
name=valgrind
|
2011-11-20 16:30:08 +01:00
|
|
|
version=3.7.0
|
2010-10-21 19:44:36 +02:00
|
|
|
release=1
|
|
|
|
|
source=(http://$name.org/downloads/$name-$version.tar.bz2)
|
2006-02-23 16:26:10 +01:00
|
|
|
|
2006-04-08 17:21:33 +02:00
|
|
|
build() {
|
2006-02-23 16:26:10 +01:00
|
|
|
cd $name-$version
|
2007-12-01 17:49:28 +01:00
|
|
|
|
2010-08-23 21:29:54 +02:00
|
|
|
./configure --prefix=/usr --mandir=/usr/man
|
2006-02-23 16:26:10 +01:00
|
|
|
make
|
|
|
|
|
make DESTDIR=$PKG install
|
2010-08-23 21:29:54 +02:00
|
|
|
|
|
|
|
|
rm -rf $PKG/usr/share/doc
|
|
|
|
|
rmdir $PKG/usr/share
|
2006-02-23 16:26:10 +01:00
|
|
|
}
|
