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