# $Id: Portfile,v 1.4 2004/02/03 00:30:07 waqar Exp $

PortSystem 1.0
name		splint
version		3.1.1
categories	devel
maintainers	waqar@opendarwin.org
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 91635d98644312302f6f16abe73c2474
worksrcdir	${name}-${version}
configure.args	--infodir=${prefix}/share/info --mandir=${prefix}/share/man

