diff options
Diffstat (limited to 'valgrind/Pkgfile')
-rw-r--r-- | valgrind/Pkgfile | 17 |
1 files changed, 6 insertions, 11 deletions
diff --git a/valgrind/Pkgfile b/valgrind/Pkgfile index 8fa04cde7..52e070d49 100644 --- a/valgrind/Pkgfile +++ b/valgrind/Pkgfile @@ -1,24 +1,19 @@ # Description: A debugging and profiling system for Linux programs -# URL: https://valgrind.org -# Maintainer: Thomas Penteker, tek at serverop dot de -# Optional: gdb +# URL: https://valgrind.org/ +# Maintainer: Matt Housh, jaeger at crux dot ninja +# Optional: gdb name=valgrind -version=3.16.1 +version=3.17.0 release=1 source=(https://sourceware.org/pub/valgrind/valgrind-${version}.tar.bz2) +source=(https://sourceware.org/pub/$name/$name-$version.tar.bz2) build() { cd $name-$version - - autoconf - - ./configure \ - --prefix=/usr \ + ./configure --prefix=/usr \ --libexecdir=/usr/lib - make make DESTDIR=$PKG install - rm -rf $PKG/usr/share/doc } |