4 files changed, 91 insertions, 0 deletions
diff --git a/devel/splint/DESCR b/devel/splint/DESCR
new file mode 100644
index 00000000000..a476dcab8bd
--- /dev/null
+++ b/devel/splint/DESCR
@@ -0,0 +1,7 @@
+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. 
+
+Splint 3.0 is the successor to LCLint 2.5.
diff --git a/devel/splint/Makefile b/devel/splint/Makefile
new file mode 100644
index 00000000000..5e3fea9b05f
--- /dev/null
+++ b/devel/splint/Makefile
@@ -0,0 +1,23 @@
+# $NetBSD: Makefile,v 1.1.1.1 2002/11/27 14:39:14 mjl Exp $
+#
+
+VERSION=	3.0.1.6
+DISTNAME=	splint-${VERSION}.src
+PKGNAME=	splint-${VERSION}
+CATEGORIES=	devel
+MASTER_SITES=	http://www.splint.org/downloads/
+EXTRACT_SUFX= .tgz
+
+MAINTAINER=	packages@netbsd.org
+HOMEPAGE=	http://lclint.cs.virginia.edu/
+COMMENT=	Statically check C programs
+
+WRKSRC=		${WRKDIR}/splint-${VERSION}
+
+USE_GMAKE=	YES
+GNU_CONFIGURE=  YES
+
+post-install:
+	${INSTALL_MAN} ${WRKSRC}/doc/splint.1 ${PREFIX}/man/man1
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/devel/splint/PLIST b/devel/splint/PLIST
new file mode 100644
index 00000000000..93cf5cc09af
--- /dev/null
+++ b/devel/splint/PLIST
@@ -0,0 +1,57 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2002/11/27 14:39:14 mjl Exp $
+bin/splint
+man/man1/splint.1
+share/splint/lib/standard.h
+share/splint/lib/standard.lcd
+share/splint/lib/standardstrict.lcd
+share/splint/lib/posix.h
+share/splint/lib/posix.lcd
+share/splint/lib/posixstrict.lcd
+share/splint/lib/unix.h
+share/splint/lib/unix.lcd
+share/splint/lib/unixstrict.lcd
+share/splint/lib/CTrait.syms
+share/splint/lib/CTraitGen.lcl
+share/splint/lib/bool.h
+share/splint/lib/file.mts
+share/splint/lib/file.xh
+share/splint/lib/filerw.mts
+share/splint/lib/filerw.xh
+share/splint/lib/lclinit.lci
+share/splint/lib/linux.h
+share/splint/lib/lslinit.lsi
+share/splint/lib/tainted.mts
+share/splint/lib/tainted.xh
+share/splint/lib/stdio.h
+share/splint/lib/stdlib.h
+share/splint/imports/assert.lcl
+share/splint/imports/assert.lcs
+share/splint/imports/ctype.lcl
+share/splint/imports/ctype.lcs
+share/splint/imports/errno.lcl
+share/splint/imports/errno.lcs
+share/splint/imports/limits.lcl
+share/splint/imports/limits.lcs
+share/splint/imports/locale.lcl
+share/splint/imports/locale.lcs
+share/splint/imports/math.lcl
+share/splint/imports/math.lcs
+share/splint/imports/setjmp.lcl
+share/splint/imports/setjmp.lcs
+share/splint/imports/signal.lcl
+share/splint/imports/signal.lcs
+share/splint/imports/stdarg.lcl
+share/splint/imports/stdarg.lcs
+share/splint/imports/stdio.lcl
+share/splint/imports/stdio.lcs
+share/splint/imports/stdlib.lcl
+share/splint/imports/stdlib.lcs
+share/splint/imports/string.lcl
+share/splint/imports/string.lcs
+share/splint/imports/strings.lcl
+share/splint/imports/strings.lcs
+share/splint/imports/time.lcl
+share/splint/imports/time.lcs
+@dirrm share/splint/lib
+@dirrm share/splint/imports
+@dirrm share/splint
diff --git a/devel/splint/distinfo b/devel/splint/distinfo
new file mode 100644
index 00000000000..cf18b0f017b
--- /dev/null
+++ b/devel/splint/distinfo
@@ -0,0 +1,4 @@
+$NetBSD: distinfo,v 1.1.1.1 2002/11/27 14:39:14 mjl Exp $
+
+SHA1 (splint-3.0.1.6.src.tgz) = 65c15cef2b2a554c484127b86668efd4e76e9604
+Size (splint-3.0.1.6.src.tgz) = 1592456 bytes