85cc462e1d
* Moved helpers, common and triggers dirs into xbps-src, where
they belong.
* Renamed the templates dir to srcpkgs, it was so redundant before.
* Make it possible to add subpkgs with no restriction in names, for
example udev now has a subpkgs called "libgudev". Previously
subpkgs were named "${sourcepkg}-${pkgname}".
* xbps-src: changed to look for template files in current directory.
That means that most arguments from the targets have been removed.
* xbps-src: added a reinstall target, to remove + install.
* xbps-src: do not overwrite binpkgs by default, skip them.
And more that I forgot because it's a mega-commit that I've been
working for some days already...
--HG--
extra : convert_revision : 0f466878584d1e6895d2a234f07ea1b2d1e61b3e
19 lines
706 B
Text
19 lines
706 B
Text
# 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
|