valgrind/Pkgfile



    1 # Description: A debugging and profiling system for Linux programs
    2 # URL:         http://valgrind.org
    3 # Maintainer:  Thomas Penteker, tek at serverop dot de
    4 # Packager:    Tilman Sauerbeck, tilman at crux dot nu
    5 # Nice to have: gdb
    6 
    7 name=valgrind
    8 version=3.11.0
    9 release=1
   10 source=(http://$name.org/downloads/$name-$version.tar.bz2)
   11 
   12 build() {
   13   cd $name-$version
   14 
   15   # suppot 4.x kernels, too
   16   sed -i 's/2.6\.\*|3\.\*/&|4.*/1' configure.ac
   17   autoconf
   18 
   19   sed -i 's/2.18/2.19/' configure
   20   ./configure --prefix=/usr --mandir=/usr/man
   21   make
   22   make DESTDIR=$PKG install
   23 
   24   rm -rf $PKG/usr/share/doc
   25   rmdir $PKG/usr/share
   26 }