snailed
/
void-packages
2
0
Fork 0
Code Issues 1 Pull Requests 2 Actions Activity

splint: set homepage/license.

This commit is contained in:
Juan RP 2012-08-10 06:49:50 +02:00
parent 4a4c5ef584
commit 0027f07748
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
srcpkgs/splint/template
View File

@ -1,13 +1,14 @@
# Template file for 'splint'
pkgname=splint
version=3.1.2
distfiles="http://www.splint.org/downloads/$pkgname-$version.src.tgz"
revision=2
build_style=gnu-configure
revision=1
makedepends="flex"
fulldepends="glibc"
short_desc="Secure Programming Lint"
maintainer="Juan RP <xtraeme@gmail.com>"
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
@ -17,4 +18,3 @@ long_desc="
standard lint."
disable_parallel_build=yes