casa-mp-base

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

​

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