diff --git a/templates/splint/template b/templates/splint/template new file mode 100644 index 0000000000..8de71a8e4e --- /dev/null +++ b/templates/splint/template @@ -0,0 +1,19 @@ +# Template file for 'splint' +pkgname=splint +version=3.1.2 +distfiles="http://www.splint.org/downloads/$pkgname-$version.src.tgz" +build_style=gnu_configure +short_desc="Secure Programming Lint" +maintainer="Juan RP " +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 + +Add_dependency full glibc +Add_dependency build flex