diff options
Diffstat (limited to 'devel/splint')
| -rw-r--r-- | devel/splint/Makefile | 25 | ||||
| -rw-r--r-- | devel/splint/distinfo | 1 | ||||
| -rw-r--r-- | devel/splint/files/patch-aa | 32 | ||||
| -rw-r--r-- | devel/splint/files/patch-ab | 11 | ||||
| -rw-r--r-- | devel/splint/pkg-comment | 1 | ||||
| -rw-r--r-- | devel/splint/pkg-descr | 6 | ||||
| -rw-r--r-- | devel/splint/pkg-message | 6 | ||||
| -rw-r--r-- | devel/splint/pkg-plist | 47 |
8 files changed, 0 insertions, 129 deletions
diff --git a/devel/splint/Makefile b/devel/splint/Makefile deleted file mode 100644 index 746a0836c02a..000000000000 --- a/devel/splint/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= s.moeding@ndh.net - -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/splint/distinfo b/devel/splint/distinfo deleted file mode 100644 index 48fb3a2e1fb4..000000000000 --- a/devel/splint/distinfo +++ /dev/null @@ -1 +0,0 @@ -MD5 (lclint-2.5q.src.tar.gz) = c4c798823fe25780124dfd65933fe1ed 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/pkg-comment b/devel/splint/pkg-comment deleted file mode 100644 index 63a0138a78c7..000000000000 --- a/devel/splint/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -A tool for statically checking C programs diff --git a/devel/splint/pkg-descr b/devel/splint/pkg-descr deleted file mode 100644 index 158ea33dc010..000000000000 --- a/devel/splint/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/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 deleted file mode 100644 index 293cf3cc872e..000000000000 --- a/devel/splint/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 |