15 lines
328 B
Plaintext
15 lines
328 B
Plaintext
|
# Description: A tool for statically checking C programs
|
|||
|
|
# URL: http://www.splint.org/
|
|||
|
|
# Maintainer: Antti Nyk<79>nen, aon at iki dot fi
|
|||
|
|
|
|||
|
|
name=splint
|
|||
|
|
version=3.1.1
|
|||
|
|
release=1
|
|||
|
|
source=(http://www.splint.org/downloads/$name-$version.src.tgz)
|
|||
|
|
build() {
|
|||
|
|
cd $name-$version
|
|||
|
|
./configure --prefix=/usr
|
|||
|
|
make
|
|||
|
|
make DESTDIR=$PKG install
|
|||
|
|
}
|