source: trunk/dports/devel/splint/Portfile @ 75257

Last change on this file since 75257 was 75257, checked in by ryandesign@…, 10 years ago

Mark Waqar's ports as openmaintainer since he hasn't committed in years

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 835 bytes
1# $Id: Portfile 75257 2011-01-19 06:23:12Z $
3PortSystem 1.0
4name            splint
5version         3.1.2
6categories      devel
7maintainers     waqar openmaintainer
8description     Secure Programming Lint
9long_description        \
10        Splint is a tool for statically checking C programs \
11        for security vulnerabilities and coding mistakes. \
12        With minimal effort, Splint can be used as a better lint. \
13        If additional effort is invested adding annotations to \
14        programs, Splint can perform stronger checking than can \
15        be done by any standard lint.           
17platforms       darwin
19extract.suffix  .tgz
20distname        ${name}-${version}.src
21checksums       md5 25f47d70bd9c8bdddf6b03de5949c4fd
22worksrcdir      ${name}-${version}
23patchfiles      patch-src__osd.c.diff
24configure.args  --infodir=${prefix}/share/info --mandir=${prefix}/share/man
25use_parallel_build      no
Note: See TracBrowser for help on using the repository browser.