2009-11-18 02:00:57 +01:00
|
|
|
# Template file for 'splint'
|
|
|
|
|
pkgname=splint
|
|
|
|
|
version=3.1.2
|
2012-08-10 06:49:50 +02:00
|
|
|
revision=2
|
2011-10-24 14:14:47 +02:00
|
|
|
build_style=gnu-configure
|
2013-04-14 12:31:59 +02:00
|
|
|
hostmakedepends="flex"
|
2009-11-18 02:00:57 +01:00
|
|
|
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"
|
2009-11-18 02:00:57 +01:00
|
|
|
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
|
2013-04-14 12:31:59 +02:00
|
|
|
|
|
|
|
|
splint_package() {
|
|
|
|
|
pkg_install() {
|
|
|
|
|
vmove usr
|
|
|
|
|
}
|
|
|
|
|
}
|
