aboutsummaryrefslogtreecommitdiffstats
path: root/devel/splint
diff options
context:
space:
mode:
authorpat <pat@FreeBSD.org>2002-03-08 08:03:12 +0800
committerpat <pat@FreeBSD.org>2002-03-08 08:03:12 +0800
commit91ccf59fec5da1866b5662dfe6f88963d61bdf6b (patch)
tree36cd7c32798fc771d36a7ca0dd78d13fd2dd8061 /devel/splint
parentaf5305293bbc1a8b3b36cfd93592953922334724 (diff)
downloadfreebsd-ports-gnome-91ccf59fec5da1866b5662dfe6f88963d61bdf6b.tar.gz
freebsd-ports-gnome-91ccf59fec5da1866b5662dfe6f88963d61bdf6b.tar.zst
freebsd-ports-gnome-91ccf59fec5da1866b5662dfe6f88963d61bdf6b.zip
- 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
Diffstat (limited to 'devel/splint')
-rw-r--r--devel/splint/Makefile20
-rw-r--r--devel/splint/distinfo2
-rw-r--r--devel/splint/files/patch-aa32
-rw-r--r--devel/splint/files/patch-ab11
-rw-r--r--devel/splint/files/patch-src::Makefile.in11
-rw-r--r--devel/splint/files/patch-test::Makefile.in13
-rw-r--r--devel/splint/pkg-comment2
-rw-r--r--devel/splint/pkg-descr13
-rw-r--r--devel/splint/pkg-message6
-rw-r--r--devel/splint/pkg-plist102
10 files changed, 99 insertions, 113 deletions
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