void-packages/srcpkgs/splint/template

27 lines
790 B
Plaintext
Raw Normal View History

# Template file for 'splint'
pkgname=splint
version=3.1.2
2012-08-10 06:49:50 +02:00
revision=2
build_style=gnu-configure
hostmakedepends="flex"
short_desc="Secure Programming Lint"
maintainer="Juan RP <xtraeme@gmail.com>"
2012-08-10 06:49:50 +02:00
homepage="http://www.splint.org"
license="GPL-2"
distfiles="http://www.splint.org/downloads/$pkgname-$version.src.tgz"
checksum=c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a
long_desc="
Splint is a tool for statically checking C programs for security
vulnerabilities and coding mistakes. With minimal effort, Splint can be used
as a better lint. If additional effort is invested adding annotations to
programs, Splint can perform stronger checking that can be done by any
standard lint."
disable_parallel_build=yes
splint_package() {
pkg_install() {
vmove usr
}
}