2006-09-10 17:45:32 +02:00
|
|
|
# Description: A tool for statically checking C programs
|
|
|
|
|
# URL: http://www.splint.org/
|
2007-07-20 11:24:45 +02:00
|
|
|
# Maintainer: Antti Nykanen, aon at iki dot fi
|
2006-09-10 17:45:32 +02:00
|
|
|
|
|
|
|
|
name=splint
|
2007-07-20 11:24:45 +02:00
|
|
|
version=3.1.2
|
2006-09-10 17:45:32 +02:00
|
|
|
release=1
|
|
|
|
|
source=(http://www.splint.org/downloads/$name-$version.src.tgz)
|
|
|
|
|
build() {
|
|
|
|
|
cd $name-$version
|
|
|
|
|
./configure --prefix=/usr
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR=$PKG install
|
|
|
|
|
}
|
