valgrind/Pkgfile



    1 # Description: A debugging and profiling system for Linux programs
    2 # URL: https://valgrind.org/
    3 # Maintainer: Matt Housh, jaeger at crux dot ninja
    4 # Optional: gdb
    5 
    6 name=valgrind
    7 version=3.20.0
    8 release=1
    9 source=(https://sourceware.org/pub/$name/$name-$version.tar.bz2)
   10 
   11 build() {
   12   cd $name-$version
   13   ./configure --prefix=/usr \
   14     --libexecdir=/usr/lib
   15   make
   16   make DESTDIR=$PKG install
   17   rm -rf $PKG/usr/share/doc
   18 }