Ticket #497: Portfile

File Portfile, 713 bytes (added by Eric.C.Seidel@…, 22 years ago)

portfile for splint 3.0.1.6

Line 
1# $Id: $
2PortSystem 1.0
3name            splint
4version         3.0.1.6
5categories      devel
6maintainers     macdome@opendarwin.org
7description     "for catching C coding mistakes & security holes"
8long_description "Splint is a tool for statically checking \
9                C programs for security vulnerabilities and \
10                coding mistakes.  With minimal effort, Splint \
11                can be used as a better lint.  If additional \
12                effort is invested adding annotations to programs, \
13                Splint can perform stronger checking than can be done \
14                by any standard lint."
15
16master_sites    http://www.splint.org/downloads/
17distname        ${portname}-${portversion}
18extract.sufx    .src.tgz
19
20checksums       ${distname}${extract.sufx} md5 3b19e62d5b3a8883ac356dff3615234c
21
22#worksrcdir     fetch