splint/Pkgfile



    1 # Description: A tool for statically checking C programs
    2 # URL: http://www.splint.org/
    3 # Maintainer: Antti Nykänen, aon at iki dot fi
    4  
    5 name=splint
    6 version=3.1.1
    7 release=1
    8 source=(http://www.splint.org/downloads/$name-$version.src.tgz) 
    9 build() {
   10 	cd $name-$version
   11 	./configure --prefix=/usr
   12 	make
   13 	make DESTDIR=$PKG install
   14 }