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.9.0
    9 release=1
   10 source=(http://$name.org/downloads/$name-$version.tar.bz2)
   11 
   12 build() {
   13   cd $name-$version
   14 
   15   sed -i 's/2.18/2.19/' configure
   16   ./configure --prefix=/usr --mandir=/usr/man
   17   make
   18   make DESTDIR=$PKG install
   19 
   20   rm -rf $PKG/usr/share/doc
   21   rmdir $PKG/usr/share
   22 }