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
|
2019-02-07 00:26:57 +01:00
|
|
|
version=3.14.0
|
2010-10-21 19:44:36 +02:00
|
|
|
release=1
|
2017-08-20 22:40:11 +02:00
|
|
|
source=(ftp://sourceware.org/pub/valgrind/valgrind-${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
|
|
|
autoconf
|
|
|
|
|
|
2014-08-24 21:28:31 +02:00
|
|
|
sed -i 's/2.18/2.19/' configure
|
2017-08-20 22:40:11 +02:00
|
|
|
./configure --prefix=/usr
|
2014-08-24 21:28:31 +02:00
|
|
|
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
|
2006-02-23 16:26:10 +01:00
|
|
|
}
|
