# $Id: Portfile 75257 2011-01-19 06:23:12Z ryandesign@macports.org $

PortSystem 1.0
name		splint
version		3.1.2
categories	devel
maintainers	waqar openmaintainer
description	Secure Programming Lint
long_description	\
	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 than can \
	be done by any standard lint.   	
homepage	http://splint.org/
platforms	darwin
master_sites	http://www.splint.org/downloads/
extract.suffix  .tgz
distname	${name}-${version}.src
checksums	md5 25f47d70bd9c8bdddf6b03de5949c4fd
worksrcdir	${name}-${version}
patchfiles	patch-src__osd.c.diff
configure.args	--infodir=${prefix}/share/info --mandir=${prefix}/share/man
use_parallel_build	no