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

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