- Repocopy and move devel/lclint to devel/splint

- Update devel/splint to 3.0.1.6
- Give maintainership to Raymond Medeiros <rrm@subterrain.net>
  for requesting in PR

PR:		33788, 35247, 35474
Submitted by:	KATO Tsuguru <tkato@prontomail.com>,
		Jeroen Ruigrok van der Werven <asmodai@wxs.nl>,
		Raymond Medeiros <rrm@subterrain.net>
Repocopied by:	joe
Approved by:	portmgr

19 files changed, 100 insertions, 243 deletions

diff --git a/devel/Makefile b/devel/Makefile
index 8d2907bfbee9..74dd7f8afc92 100644
--- a/devel/Makefile
+++ b/devel/Makefile
@@ -226,7 +226,6 @@
     SUBDIR += korelib
     SUBDIR += kpp
     SUBDIR += ktranslator
-    SUBDIR += lclint
     SUBDIR += lemon
     SUBDIR += leoarg
     SUBDIR += libIDL
@@ -640,6 +639,7 @@
     SUBDIR += sparc-rtems-gdb
     SUBDIR += sparc-rtems-objc
     SUBDIR += spirit
+    SUBDIR += splint
     SUBDIR += st
     SUBDIR += stlport
     SUBDIR += str
diff --git a/devel/lclint/Makefile b/devel/lclint/Makefile
deleted file mode 100644
index 480f60ca2022..000000000000
--- a/devel/lclint/Makefile
+++ /dev/null
@@ -1,25 +0,0 @@
-# New ports collection makefile for:  lclint
-# Date created: 	9 September 1996
-# Whom:			moeding
-#
-# $FreeBSD$
-#
-
-PORTNAME=	lclint
-PORTVERSION=	2.5q
-CATEGORIES=	devel
-MASTER_SITES=	http://lclint.cs.virginia.edu/
-EXTRACT_SUFX=	.src.tar.gz
-
-MAINTAINER=	ports@FreeBSD.Org
-
-GNU_CONFIGURE=	yes
-USE_GMAKE=	yes
-
-do-build:
-	@(cd ${WRKSRC}; ${GMAKE})
-
-post-install:
-	@strip ${PREFIX}/bin/lclint
-
-.include <bsd.port.mk>
diff --git a/devel/lclint/distinfo b/devel/lclint/distinfo
deleted file mode 100644
index 4a5efce2cccc..000000000000
--- a/devel/lclint/distinfo
+++ /dev/null
@@ -1 +0,0 @@
-MD5 (lclint-2.5q.src.tar.gz) = ed0b4ef92578956db7525ebc1f6725ac
diff --git a/devel/lclint/files/patch-aa b/devel/lclint/files/patch-aa
deleted file mode 100644
index ae26be7ecbfe..000000000000
--- a/devel/lclint/files/patch-aa
+++ /dev/null
@@ -1,32 +0,0 @@
---- Makefile.in.orig	Tue May 23 17:01:30 2000
-+++ Makefile.in	Sun Jun 18 12:04:23 2000
-@@ -41,10 +41,10 @@
- ### 
- 
- ### directory for lclint libraries
--LIBDIR     = @installdir@/lib
-+LIBDIR     = @installdir@/share/lclint-2.5q/lib
- 
- ### directory for lclint standard imports
--IMPORTSDIR = @installdir@/imports
-+IMPORTSDIR = @installdir@/share/lclint-2.5q/imports
- 
- ### directory for lclint binary
- INSTALLDIR = @installdir@/bin
-@@ -232,14 +232,14 @@
- dolibraries:
- 	@echo '//  Installing libraries in '$(LIBDIR)
- 	@echo "    (This will complain if the directory already exists, don't worry about it.)"
--	-mkdir $(LIBDIR)
-+	-mkdir -p $(LIBDIR)
- 	$(CP) $(LCLINTLIB)/* $(LIBDIR)
- 	@echo '//  Installed libraries.'
- 
- doimports:
- 	@echo '//  Installing imports in '$(IMPORTSDIR)
- 	@echo "    (This will complain if the directory already exists, don't worry about it.)"
--	-mkdir $(IMPORTSDIR)
-+	-mkdir -p $(IMPORTSDIR)
- 	$(CP) $(LCLINTIMPORTS)/* $(IMPORTSDIR)
- 	@echo '//  Installed imports.'
- 
diff --git a/devel/lclint/files/patch-ab b/devel/lclint/files/patch-ab
deleted file mode 100644
index c9b10a435ede..000000000000
--- a/devel/lclint/files/patch-ab
+++ /dev/null
@@ -1,11 +0,0 @@
---- configure.orig	Tue May 23 17:56:23 2000
-+++ configure	Sun Jun 18 12:05:08 2000
-@@ -512,7 +512,7 @@
- trap 'rm -f Makefile; exit 1' 1 3 15
- CC='$CC'
- CPP='$CPP'
--OPT='$OPT'
-+OPT='$CFLAGS'
- cwdir='$cwdir'
- INSTALL='$INSTALL'
- INSTALL_PROGRAM='$INSTALL_PROGRAM'
diff --git a/devel/lclint/pkg-comment b/devel/lclint/pkg-comment
deleted file mode 100644
index 63a0138a78c7..000000000000
--- a/devel/lclint/pkg-comment
+++ /dev/null
@@ -1 +0,0 @@
-A tool for statically checking C programs
diff --git a/devel/lclint/pkg-descr b/devel/lclint/pkg-descr
deleted file mode 100644
index 158ea33dc010..000000000000
--- a/devel/lclint/pkg-descr
+++ /dev/null
@@ -1,6 +0,0 @@
-LCLint is a tool for statically checking C programs.  With minimal
-effort, LCLint can be used as a better lint.  If additional effort is
-invested adding annotations to programs, LCLint can perform stronger
-checks than can be done by any standard lint.
-
-WWW: http://lclint.cs.virginia.edu/
diff --git a/devel/lclint/pkg-message b/devel/lclint/pkg-message
deleted file mode 100644
index ee1cbf9f283e..000000000000
--- a/devel/lclint/pkg-message
+++ /dev/null
@@ -1,6 +0,0 @@
-
-Point your browser at
-
-	http://lclint.cs.virginia.edu/
-
-to read or download the full documentation for lclint.
diff --git a/devel/lclint/pkg-plist b/devel/lclint/pkg-plist
deleted file mode 100644
index 293cf3cc872e..000000000000
--- a/devel/lclint/pkg-plist
+++ /dev/null
@@ -1,47 +0,0 @@
-bin/lclint
-share/lclint-2.5q/lib/CTrait.syms
-share/lclint-2.5q/lib/unix.lcd
-share/lclint-2.5q/lib/unix.h
-share/lclint-2.5q/lib/posixstrict.lcd
-share/lclint-2.5q/lib/posix.lcd
-share/lclint-2.5q/lib/posix.h
-share/lclint-2.5q/lib/lslinit.lsi
-share/lclint-2.5q/lib/lclinit.lci
-share/lclint-2.5q/lib/bool.h
-share/lclint-2.5q/lib/ansistrict.lcd
-share/lclint-2.5q/lib/ansi.lcd
-share/lclint-2.5q/lib/ansi.h
-share/lclint-2.5q/lib/Makefile
-share/lclint-2.5q/lib/CTraitGen.lcl
-share/lclint-2.5q/lib/unixstrict.lcd
-share/lclint-2.5q/imports/assert.lcl
-share/lclint-2.5q/imports/time.lcl
-share/lclint-2.5q/imports/strings.lcs
-share/lclint-2.5q/imports/strings.lcl
-share/lclint-2.5q/imports/string.lcs
-share/lclint-2.5q/imports/string.lcl
-share/lclint-2.5q/imports/stdlib.lcs
-share/lclint-2.5q/imports/stdlib.lcl
-share/lclint-2.5q/imports/stdio.lcs
-share/lclint-2.5q/imports/stdio.lcl
-share/lclint-2.5q/imports/stdarg.lcs
-share/lclint-2.5q/imports/stdarg.lcl
-share/lclint-2.5q/imports/signal.lcs
-share/lclint-2.5q/imports/signal.lcl
-share/lclint-2.5q/imports/setjmp.lcs
-share/lclint-2.5q/imports/setjmp.lcl
-share/lclint-2.5q/imports/math.lcs
-share/lclint-2.5q/imports/math.lcl
-share/lclint-2.5q/imports/locale.lcs
-share/lclint-2.5q/imports/locale.lcl
-share/lclint-2.5q/imports/limits.lcs
-share/lclint-2.5q/imports/limits.lcl
-share/lclint-2.5q/imports/errno.lcs
-share/lclint-2.5q/imports/errno.lcl
-share/lclint-2.5q/imports/ctype.lcs
-share/lclint-2.5q/imports/ctype.lcl
-share/lclint-2.5q/imports/assert.lcs
-share/lclint-2.5q/imports/time.lcs
-@dirrm share/lclint-2.5q/imports
-@dirrm share/lclint-2.5q/lib
-@dirrm share/lclint-2.5q
diff --git a/devel/splint/Makefile b/devel/splint/Makefile
index 480f60ca2022..eb42e5c5d321 100644
--- a/devel/splint/Makefile
+++ b/devel/splint/Makefile
@@ -1,25 +1,25 @@
-# New ports collection makefile for:  lclint
+# New ports collection makefile for:	splint
 # Date created: 	9 September 1996
 # Whom:			moeding
 #
 # $FreeBSD$
 #
 
-PORTNAME=	lclint
-PORTVERSION=	2.5q
-CATEGORIES=	devel
-MASTER_SITES=	http://lclint.cs.virginia.edu/
-EXTRACT_SUFX=	.src.tar.gz
+PORTNAME=	splint
+PORTVERSION=	3.0.1.6
+CATEGORIES=	devel security
+MASTER_SITES=	http://www.splint.org/downloads/
+EXTRACT_SUFX=	.src.tgz
 
-MAINTAINER=	ports@FreeBSD.Org
+MAINTAINER=	rrm@subterrain.net
 
 GNU_CONFIGURE=	yes
+CONFIGURE_TARGET=	--build=${ARCH}-portbld-freebsd${OSREL}
 USE_GMAKE=	yes
 
-do-build:
-	@(cd ${WRKSRC}; ${GMAKE})
+MAN1=		splint.1
 
 post-install:
-	@strip ${PREFIX}/bin/lclint
+	@${INSTALL_MAN} ${WRKSRC}/doc/splint.1 ${MANPREFIX}/man/man1
 
 .include <bsd.port.mk>
diff --git a/devel/splint/distinfo b/devel/splint/distinfo
index 4a5efce2cccc..61e439f53667 100644
--- a/devel/splint/distinfo
+++ b/devel/splint/distinfo
@@ -1 +1 @@
-MD5 (lclint-2.5q.src.tar.gz) = ed0b4ef92578956db7525ebc1f6725ac
+MD5 (splint-3.0.1.6.src.tgz) = 3b19e62d5b3a8883ac356dff3615234c
diff --git a/devel/splint/files/patch-aa b/devel/splint/files/patch-aa
deleted file mode 100644
index ae26be7ecbfe..000000000000
--- a/devel/splint/files/patch-aa
+++ /dev/null
@@ -1,32 +0,0 @@
---- Makefile.in.orig	Tue May 23 17:01:30 2000
-+++ Makefile.in	Sun Jun 18 12:04:23 2000
-@@ -41,10 +41,10 @@
- ### 
- 
- ### directory for lclint libraries
--LIBDIR     = @installdir@/lib
-+LIBDIR     = @installdir@/share/lclint-2.5q/lib
- 
- ### directory for lclint standard imports
--IMPORTSDIR = @installdir@/imports
-+IMPORTSDIR = @installdir@/share/lclint-2.5q/imports
- 
- ### directory for lclint binary
- INSTALLDIR = @installdir@/bin
-@@ -232,14 +232,14 @@
- dolibraries:
- 	@echo '//  Installing libraries in '$(LIBDIR)
- 	@echo "    (This will complain if the directory already exists, don't worry about it.)"
--	-mkdir $(LIBDIR)
-+	-mkdir -p $(LIBDIR)
- 	$(CP) $(LCLINTLIB)/* $(LIBDIR)
- 	@echo '//  Installed libraries.'
- 
- doimports:
- 	@echo '//  Installing imports in '$(IMPORTSDIR)
- 	@echo "    (This will complain if the directory already exists, don't worry about it.)"
--	-mkdir $(IMPORTSDIR)
-+	-mkdir -p $(IMPORTSDIR)
- 	$(CP) $(LCLINTIMPORTS)/* $(IMPORTSDIR)
- 	@echo '//  Installed imports.'
- 
diff --git a/devel/splint/files/patch-ab b/devel/splint/files/patch-ab
deleted file mode 100644
index c9b10a435ede..000000000000
--- a/devel/splint/files/patch-ab
+++ /dev/null
@@ -1,11 +0,0 @@
---- configure.orig	Tue May 23 17:56:23 2000
-+++ configure	Sun Jun 18 12:05:08 2000
-@@ -512,7 +512,7 @@
- trap 'rm -f Makefile; exit 1' 1 3 15
- CC='$CC'
- CPP='$CPP'
--OPT='$OPT'
-+OPT='$CFLAGS'
- cwdir='$cwdir'
- INSTALL='$INSTALL'
- INSTALL_PROGRAM='$INSTALL_PROGRAM'
diff --git a/devel/splint/files/patch-src::Makefile.in b/devel/splint/files/patch-src::Makefile.in
new file mode 100644
index 000000000000..5ca489b2b2f4
--- /dev/null
+++ b/devel/splint/files/patch-src::Makefile.in
@@ -0,0 +1,11 @@
+--- src/Makefile.in.orig	Sat Feb 23 16:59:27 2002
++++ src/Makefile.in	Sat Feb 23 17:00:02 2002
+@@ -603,7 +603,7 @@
+ 	  p1=`echo $$p|sed 's/$(EXEEXT)$$//'`; \
+ 	  if test -f $$p \
+ 	  ; then \
+-	    f=`echo $$p1|sed '$(transform);s/$$/$(EXEEXT)/'`; \
++	    f=splint; \
+ 	   echo " $(INSTALL_PROGRAM_ENV) $(INSTALL_PROGRAM) $$p $(DESTDIR)$(bindir)/$$f"; \
+ 	   $(INSTALL_PROGRAM_ENV) $(INSTALL_PROGRAM) $$p $(DESTDIR)$(bindir)/$$f; \
+ 	  else :; fi; \
diff --git a/devel/splint/files/patch-test::Makefile.in b/devel/splint/files/patch-test::Makefile.in
new file mode 100644
index 000000000000..1185408f96ea
--- /dev/null
+++ b/devel/splint/files/patch-test::Makefile.in
@@ -0,0 +1,13 @@
+--- test/Makefile.in.orig	Mon Feb 11 14:27:16 2002
++++ test/Makefile.in	Thu Mar  7 18:28:01 2002
+@@ -897,8 +897,8 @@
+ 	mostlyclean-generic uninstall uninstall-am uninstall-info-am
+ 
+ 
+-unexport LARCH_PATH
+-unexport LCLIMPORTDIR
++#unexport LARCH_PATH
++#unexport LCLIMPORTDIR
+ 
+ .PHONY: all check
+ all check: fulltest
diff --git a/devel/splint/pkg-comment b/devel/splint/pkg-comment
index 63a0138a78c7..fe604f495213 100644
--- a/devel/splint/pkg-comment
+++ b/devel/splint/pkg-comment
@@ -1 +1 @@
-A tool for statically checking C programs
+A tool for statically checking sourcecode for security vulnerabilities
diff --git a/devel/splint/pkg-descr b/devel/splint/pkg-descr
index 158ea33dc010..29fe2d358aa9 100644
--- a/devel/splint/pkg-descr
+++ b/devel/splint/pkg-descr
@@ -1,6 +1,9 @@
-LCLint is a tool for statically checking C programs.  With minimal
-effort, LCLint can be used as a better lint.  If additional effort is
-invested adding annotations to programs, LCLint can perform stronger
-checks than can be done by any standard lint.
+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.
 
-WWW: http://lclint.cs.virginia.edu/
+WWW: http://www.splint.org/
+
+- Raymond Medeiros <rrm@subterrain.net>
diff --git a/devel/splint/pkg-message b/devel/splint/pkg-message
deleted file mode 100644
index ee1cbf9f283e..000000000000
--- a/devel/splint/pkg-message
+++ /dev/null
@@ -1,6 +0,0 @@
-
-Point your browser at
-
-	http://lclint.cs.virginia.edu/
-
-to read or download the full documentation for lclint.
diff --git a/devel/splint/pkg-plist b/devel/splint/pkg-plist
index 293cf3cc872e..f1b15c824509 100644
--- a/devel/splint/pkg-plist
+++ b/devel/splint/pkg-plist
@@ -1,47 +1,55 @@
-bin/lclint
-share/lclint-2.5q/lib/CTrait.syms
-share/lclint-2.5q/lib/unix.lcd
-share/lclint-2.5q/lib/unix.h
-share/lclint-2.5q/lib/posixstrict.lcd
-share/lclint-2.5q/lib/posix.lcd
-share/lclint-2.5q/lib/posix.h
-share/lclint-2.5q/lib/lslinit.lsi
-share/lclint-2.5q/lib/lclinit.lci
-share/lclint-2.5q/lib/bool.h
-share/lclint-2.5q/lib/ansistrict.lcd
-share/lclint-2.5q/lib/ansi.lcd
-share/lclint-2.5q/lib/ansi.h
-share/lclint-2.5q/lib/Makefile
-share/lclint-2.5q/lib/CTraitGen.lcl
-share/lclint-2.5q/lib/unixstrict.lcd
-share/lclint-2.5q/imports/assert.lcl
-share/lclint-2.5q/imports/time.lcl
-share/lclint-2.5q/imports/strings.lcs
-share/lclint-2.5q/imports/strings.lcl
-share/lclint-2.5q/imports/string.lcs
-share/lclint-2.5q/imports/string.lcl
-share/lclint-2.5q/imports/stdlib.lcs
-share/lclint-2.5q/imports/stdlib.lcl
-share/lclint-2.5q/imports/stdio.lcs
-share/lclint-2.5q/imports/stdio.lcl
-share/lclint-2.5q/imports/stdarg.lcs
-share/lclint-2.5q/imports/stdarg.lcl
-share/lclint-2.5q/imports/signal.lcs
-share/lclint-2.5q/imports/signal.lcl
-share/lclint-2.5q/imports/setjmp.lcs
-share/lclint-2.5q/imports/setjmp.lcl
-share/lclint-2.5q/imports/math.lcs
-share/lclint-2.5q/imports/math.lcl
-share/lclint-2.5q/imports/locale.lcs
-share/lclint-2.5q/imports/locale.lcl
-share/lclint-2.5q/imports/limits.lcs
-share/lclint-2.5q/imports/limits.lcl
-share/lclint-2.5q/imports/errno.lcs
-share/lclint-2.5q/imports/errno.lcl
-share/lclint-2.5q/imports/ctype.lcs
-share/lclint-2.5q/imports/ctype.lcl
-share/lclint-2.5q/imports/assert.lcs
-share/lclint-2.5q/imports/time.lcs
-@dirrm share/lclint-2.5q/imports
-@dirrm share/lclint-2.5q/lib
-@dirrm share/lclint-2.5q
+bin/splint
+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
+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/posix.h
+share/splint/lib/posix.lcd
+share/splint/lib/posixstrict.lcd
+share/splint/lib/standard.h
+share/splint/lib/standard.lcd
+share/splint/lib/standardstrict.lcd
+share/splint/lib/stdio.h
+share/splint/lib/stdlib.h
+share/splint/lib/tainted.mts
+share/splint/lib/tainted.xh
+share/splint/lib/unix.h
+share/splint/lib/unix.lcd
+share/splint/lib/unixstrict.lcd
+@dirrm share/splint/lib
+@dirrm share/splint/imports
+@dirrm share/splint