mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-23 00:43:28 +00:00
Code Issues Releases Activity

- Repocopy and move devel/lclint to devel/splint

Browse Source 
- 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
This commit is contained in:
Patrick Li 2002-03-08 00:03:12 +00:00
parent e1bd382c0e
commit 179d897537
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=55695
19 changed files with 100 additions and 243 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
devel/Makefile
View File

@ -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

25
devel/lclint/Makefile
View File

@ -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>

1
devel/lclint/distinfo
View File

@ -1 +0,0 @@
MD5 (lclint-2.5q.src.tar.gz) = ed0b4ef92578956db7525ebc1f6725ac

32
devel/lclint/files/patch-aa
View File

@ -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.'

11
devel/lclint/files/patch-ab
View File

@ -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'

1
devel/lclint/pkg-comment
View File

@ -1 +0,0 @@
A tool for statically checking C programs

6
devel/lclint/pkg-descr
View File

@ -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/

6
devel/lclint/pkg-message
View File

@ -1,6 +0,0 @@
Point your browser at
http://lclint.cs.virginia.edu/
to read or download the full documentation for lclint.

47
devel/lclint/pkg-plist
View File

@ -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

20
devel/splint/Makefile
View File

@ -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>

2
devel/splint/distinfo
View File

@ -1 +1 @@
MD5 (lclint-2.5q.src.tar.gz) = ed0b4ef92578956db7525ebc1f6725ac
MD5 (splint-3.0.1.6.src.tgz) = 3b19e62d5b3a8883ac356dff3615234c

32
devel/splint/files/patch-aa
View File

@ -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.'

11
devel/splint/files/patch-ab
View File

@ -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'

11
devel/splint/files/patch-src::Makefile.in Normal file
View File

@ -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; \

13
devel/splint/files/patch-test::Makefile.in Normal file
View File

@ -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

2
devel/splint/pkg-comment
View File

@ -1 +1 @@
A tool for statically checking C programs
A tool for statically checking sourcecode for security vulnerabilities

13
devel/splint/pkg-descr
View File

@ -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>

6
devel/splint/pkg-message
View File

@ -1,6 +0,0 @@
Point your browser at
http://lclint.cs.virginia.edu/
to read or download the full documentation for lclint.

102
devel/splint/pkg-plist
View File

@ -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