# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4 # $Id: Portfile 128484 2014-11-22 04:44:07Z khindenburg@macports.org $ PortSystem 1.0 name splint version 3.1.2 categories devel license GPL-2+ maintainers nomaintainer 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 depends_build-append port:flex checksums rmd160 52e9786d3cbeaa437877a33b18e42b32dff3b96b \ sha256 c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a worksrcdir ${name}-${version} patchfiles patch-src__osd.c.diff configure.args --infodir=${prefix}/share/info --mandir=${prefix}/share/man use_parallel_build no livecheck.regex ${name}-(\[0-9.\]+).src${extract.suffix} livecheck.url http://www.splint.org/download.html