# $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