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 Nykanen, aon at iki dot fi
|
|
|
|
name=splint
|
|
version=3.1.2
|
|
release=1
|
|
source=(http://www.splint.org/downloads/$name-$version.src.tgz)
|
|
build() {
|
|
cd $name-$version
|
|
./configure --prefix=/usr
|
|
make
|
|
make DESTDIR=$PKG install
|
|
}
|