2008-06-29 11:33:04 +02:00
|
|
|
# Description: A debugging and profiling system for Linux programs
|
2020-07-11 09:07:42 +02:00
|
|
|
# URL: https://valgrind.org
|
2013-05-05 21:24:19 +02:00
|
|
|
# Maintainer: Thomas Penteker, tek at serverop dot de
|
2020-07-11 09:07:42 +02:00
|
|
|
# Optional: gdb
|
2006-02-23 16:26:10 +01:00
|
|
|
|
|
|
|
|
name=valgrind
|
2020-07-11 09:07:42 +02:00
|
|
|
version=3.16.1
|
2010-10-21 19:44:36 +02:00
|
|
|
release=1
|
2020-07-11 09:07:42 +02:00
|
|
|
source=(https://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
|
|
|
|
|
|
2020-07-11 09:07:42 +02:00
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr \
|
|
|
|
|
--libexecdir=/usr/lib
|
|
|
|
|
|
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
|
|
|
}
|
