valgrind/Pkgfile



    1 # Description: A debugging and profiling system for Linux programs
    2 # URL:         https://valgrind.org
    3 # Maintainer:  Thomas Penteker, tek at serverop dot de
    4 # Optional:    gdb
    5 
    6 name=valgrind
    7 version=3.16.1
    8 release=1
    9 source=(https://sourceware.org/pub/valgrind/valgrind-${version}.tar.bz2)
   10 
   11 build() {
   12   cd $name-$version
   13 
   14   autoconf
   15 
   16   ./configure \
   17     --prefix=/usr \
   18     --libexecdir=/usr/lib
   19 
   20   make
   21   make DESTDIR=$PKG install
   22 
   23   rm -rf $PKG/usr/share/doc
   24 }