valgrind/Pkgfile



    1 # Description: A debugging and profiling system for Linux programs
    2 # URL: http://valgrind.org
    3 # Maintainer: Tilman Sauerbeck, tilman at crux dot nu
    4 # Arch Maintainer: 
    5 
    6 name=valgrind
    7 version=3.7.0
    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 }