2008-06-29 11:33:04 +02:00
|
|
|
# Description: A debugging and profiling system for Linux programs
|
2013-05-05 21:24:19 +02:00
|
|
|
# URL: http://valgrind.org
|
|
|
|
|
# Maintainer: Thomas Penteker, tek at serverop dot de
|
|
|
|
|
# Packager: Tilman Sauerbeck, tilman at crux dot nu
|
2013-11-21 00:13:27 +01:00
|
|
|
# Nice to have: gdb
|
2006-02-23 16:26:10 +01:00
|
|
|
|
|
|
|
|
name=valgrind
|
2017-04-29 21:58:12 +02:00
|
|
|
version=3.12.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() {
|
2014-08-24 21:28:31 +02:00
|
|
|
cd $name-$version
|
2007-12-01 17:49:28 +01:00
|
|
|
|
2015-07-19 00:42:54 +02:00
|
|
|
# suppot 4.x kernels, too
|
|
|
|
|
sed -i 's/2.6\.\*|3\.\*/&|4.*/1' configure.ac
|
|
|
|
|
autoconf
|
|
|
|
|
|
2014-08-24 21:28:31 +02:00
|
|
|
sed -i 's/2.18/2.19/' configure
|
|
|
|
|
./configure --prefix=/usr --mandir=/usr/man
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR=$PKG install
|
2010-08-23 21:29:54 +02:00
|
|
|
|
2014-08-24 21:28:31 +02:00
|
|
|
rm -rf $PKG/usr/share/doc
|
|
|
|
|
rmdir $PKG/usr/share
|
2006-02-23 16:26:10 +01:00
|
|
|
}
|
