jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Added splint-3.1.2 build template.

Browse source 
--HG--
extra : convert_revision : 3304e146b07db6f02930e659ce2e68a0ed47885e
This commit is contained in:
Juan RP 2009-11-18 02:00:57 +01:00
parent 27e535ffa9
commit 5432f12031
1 changed files with 19 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
templates/splint/template Normal file
View file

@ -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 <xtraeme@gmail.com>"
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