diff options
-rw-r--r-- | devel/lclint/Makefile | 26 | ||||
-rw-r--r-- | devel/lclint/distinfo | 1 | ||||
-rw-r--r-- | devel/lclint/files/patch-aa | 47 | ||||
-rw-r--r-- | devel/lclint/pkg-comment | 1 | ||||
-rw-r--r-- | devel/lclint/pkg-descr | 8 | ||||
-rw-r--r-- | devel/lclint/pkg-plist | 46 | ||||
-rw-r--r-- | devel/splint/Makefile | 26 | ||||
-rw-r--r-- | devel/splint/distinfo | 1 | ||||
-rw-r--r-- | devel/splint/files/patch-aa | 47 | ||||
-rw-r--r-- | devel/splint/pkg-comment | 1 | ||||
-rw-r--r-- | devel/splint/pkg-descr | 8 | ||||
-rw-r--r-- | devel/splint/pkg-plist | 46 |
12 files changed, 258 insertions, 0 deletions
diff --git a/devel/lclint/Makefile b/devel/lclint/Makefile new file mode 100644 index 000000000000..9ec423c5aa5c --- /dev/null +++ b/devel/lclint/Makefile @@ -0,0 +1,26 @@ +# New ports collection makefile for: lclint +# Version required: 2.2a +# Date created: 9 September 1996 +# Whom: moeding +# +# $Id: porting.sgml,v 1.2.4.5 1996/06/19 20:28:08 jkh Exp $ +# + +DISTNAME= lclint-2.2a.src +PKGNAME= lclint-2.2a +CATEGORIES= devel +MASTER_SITES= ftp://larch.lcs.mit.edu/pub/Larch/lclint/ + +MAINTAINER= moeding@bn.DeTeMobil.de + +WRKSRC= ${WRKDIR}/${PKGNAME} +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 new file mode 100644 index 000000000000..5776fa3c04e6 --- /dev/null +++ b/devel/lclint/distinfo @@ -0,0 +1 @@ +MD5 (lclint-2.2a.src.tar.gz) = 5eba0bfd1d4d981a3352fce88e7d6e4f diff --git a/devel/lclint/files/patch-aa b/devel/lclint/files/patch-aa new file mode 100644 index 000000000000..3b9f88487677 --- /dev/null +++ b/devel/lclint/files/patch-aa @@ -0,0 +1,47 @@ +--- Makefile.in.orig Wed Sep 4 20:18:10 1996 ++++ Makefile.in Wed Dec 11 21:57:01 1996 +@@ -40,16 +40,16 @@ + ### + + ### directory for lclint libraries +-LIBDIR = @installdir@/lib ++LIBDIR = @installdir@/share/lclint-2.2a/lib + + ### directory for lclint standard imports +-IMPORTSDIR = @installdir@/imports ++IMPORTSDIR = @installdir@/share/lclint-2.2a/imports + + ### directory for lclint binary + INSTALLDIR = @installdir@/bin + + ### directory for installing lclint.el[c] +-EMACSLIBDIR = @installdir@/emacs ++EMACSLIBDIR = @installdir@/share/emacs/site-lisp + + ### this should be the complete path for the directory where this + ### Makefile is, with no trailing / or spaces. +@@ -232,6 +232,7 @@ + @echo '// Installation complete.' + + doemacs: ++ @mkdir -p $(EMACSLIBDIR) + @$(CP) $(LCLINTEMACS) $(EMACSLIBDIR) + @$(CP) $(LCLINTEMACSC) $(EMACSLIBDIR) + +@@ -243,14 +244,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/pkg-comment b/devel/lclint/pkg-comment new file mode 100644 index 000000000000..ffae0cb0dfa9 --- /dev/null +++ b/devel/lclint/pkg-comment @@ -0,0 +1 @@ +A tool for statically checking C programs. diff --git a/devel/lclint/pkg-descr b/devel/lclint/pkg-descr new file mode 100644 index 000000000000..05cc0b5b9203 --- /dev/null +++ b/devel/lclint/pkg-descr @@ -0,0 +1,8 @@ +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. + +Check the LCLint home page at + http://larch-www.lcs.mit.edu:8001/larch/lclint/ +for more information and complete documentation. diff --git a/devel/lclint/pkg-plist b/devel/lclint/pkg-plist new file mode 100644 index 000000000000..09cd5f38eee4 --- /dev/null +++ b/devel/lclint/pkg-plist @@ -0,0 +1,46 @@ +bin/lclint +share/emacs/site-lisp/lclint.el +share/emacs/site-lisp/lclint.elc +share/lclint-2.2a/lib/CTrait.syms +share/lclint-2.2a/lib/unix.lcd +share/lclint-2.2a/lib/unix.h +share/lclint-2.2a/lib/posixstrict.lcd +share/lclint-2.2a/lib/posix.lcd +share/lclint-2.2a/lib/posix.h +share/lclint-2.2a/lib/lslinit.lsi +share/lclint-2.2a/lib/lclinit.lci +share/lclint-2.2a/lib/bool.h +share/lclint-2.2a/lib/ansistrict.lcd +share/lclint-2.2a/lib/ansi.lcd +share/lclint-2.2a/lib/ansi.h +share/lclint-2.2a/lib/README +share/lclint-2.2a/lib/CTraitGen.lcl +share/lclint-2.2a/lib/unixstrict.lcd +share/lclint-2.2a/imports/assert.lcl +share/lclint-2.2a/imports/time.lcl +share/lclint-2.2a/imports/strings.lcs +share/lclint-2.2a/imports/strings.lcl +share/lclint-2.2a/imports/string.lcs +share/lclint-2.2a/imports/string.lcl +share/lclint-2.2a/imports/stdlib.lcs +share/lclint-2.2a/imports/stdlib.lcl +share/lclint-2.2a/imports/stdio.lcs +share/lclint-2.2a/imports/stdio.lcl +share/lclint-2.2a/imports/stdarg.lcs +share/lclint-2.2a/imports/stdarg.lcl +share/lclint-2.2a/imports/signal.lcs +share/lclint-2.2a/imports/signal.lcl +share/lclint-2.2a/imports/setjmp.lcs +share/lclint-2.2a/imports/setjmp.lcl +share/lclint-2.2a/imports/math.lcs +share/lclint-2.2a/imports/math.lcl +share/lclint-2.2a/imports/locale.lcs +share/lclint-2.2a/imports/locale.lcl +share/lclint-2.2a/imports/limits.lcs +share/lclint-2.2a/imports/limits.lcl +share/lclint-2.2a/imports/errno.lcs +share/lclint-2.2a/imports/errno.lcl +share/lclint-2.2a/imports/ctype.lcs +share/lclint-2.2a/imports/ctype.lcl +share/lclint-2.2a/imports/assert.lcs +share/lclint-2.2a/imports/time.lcs diff --git a/devel/splint/Makefile b/devel/splint/Makefile new file mode 100644 index 000000000000..9ec423c5aa5c --- /dev/null +++ b/devel/splint/Makefile @@ -0,0 +1,26 @@ +# New ports collection makefile for: lclint +# Version required: 2.2a +# Date created: 9 September 1996 +# Whom: moeding +# +# $Id: porting.sgml,v 1.2.4.5 1996/06/19 20:28:08 jkh Exp $ +# + +DISTNAME= lclint-2.2a.src +PKGNAME= lclint-2.2a +CATEGORIES= devel +MASTER_SITES= ftp://larch.lcs.mit.edu/pub/Larch/lclint/ + +MAINTAINER= moeding@bn.DeTeMobil.de + +WRKSRC= ${WRKDIR}/${PKGNAME} +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 new file mode 100644 index 000000000000..5776fa3c04e6 --- /dev/null +++ b/devel/splint/distinfo @@ -0,0 +1 @@ +MD5 (lclint-2.2a.src.tar.gz) = 5eba0bfd1d4d981a3352fce88e7d6e4f diff --git a/devel/splint/files/patch-aa b/devel/splint/files/patch-aa new file mode 100644 index 000000000000..3b9f88487677 --- /dev/null +++ b/devel/splint/files/patch-aa @@ -0,0 +1,47 @@ +--- Makefile.in.orig Wed Sep 4 20:18:10 1996 ++++ Makefile.in Wed Dec 11 21:57:01 1996 +@@ -40,16 +40,16 @@ + ### + + ### directory for lclint libraries +-LIBDIR = @installdir@/lib ++LIBDIR = @installdir@/share/lclint-2.2a/lib + + ### directory for lclint standard imports +-IMPORTSDIR = @installdir@/imports ++IMPORTSDIR = @installdir@/share/lclint-2.2a/imports + + ### directory for lclint binary + INSTALLDIR = @installdir@/bin + + ### directory for installing lclint.el[c] +-EMACSLIBDIR = @installdir@/emacs ++EMACSLIBDIR = @installdir@/share/emacs/site-lisp + + ### this should be the complete path for the directory where this + ### Makefile is, with no trailing / or spaces. +@@ -232,6 +232,7 @@ + @echo '// Installation complete.' + + doemacs: ++ @mkdir -p $(EMACSLIBDIR) + @$(CP) $(LCLINTEMACS) $(EMACSLIBDIR) + @$(CP) $(LCLINTEMACSC) $(EMACSLIBDIR) + +@@ -243,14 +244,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/pkg-comment b/devel/splint/pkg-comment new file mode 100644 index 000000000000..ffae0cb0dfa9 --- /dev/null +++ b/devel/splint/pkg-comment @@ -0,0 +1 @@ +A tool for statically checking C programs. diff --git a/devel/splint/pkg-descr b/devel/splint/pkg-descr new file mode 100644 index 000000000000..05cc0b5b9203 --- /dev/null +++ b/devel/splint/pkg-descr @@ -0,0 +1,8 @@ +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. + +Check the LCLint home page at + http://larch-www.lcs.mit.edu:8001/larch/lclint/ +for more information and complete documentation. diff --git a/devel/splint/pkg-plist b/devel/splint/pkg-plist new file mode 100644 index 000000000000..09cd5f38eee4 --- /dev/null +++ b/devel/splint/pkg-plist @@ -0,0 +1,46 @@ +bin/lclint +share/emacs/site-lisp/lclint.el +share/emacs/site-lisp/lclint.elc +share/lclint-2.2a/lib/CTrait.syms +share/lclint-2.2a/lib/unix.lcd +share/lclint-2.2a/lib/unix.h +share/lclint-2.2a/lib/posixstrict.lcd +share/lclint-2.2a/lib/posix.lcd +share/lclint-2.2a/lib/posix.h +share/lclint-2.2a/lib/lslinit.lsi +share/lclint-2.2a/lib/lclinit.lci +share/lclint-2.2a/lib/bool.h +share/lclint-2.2a/lib/ansistrict.lcd +share/lclint-2.2a/lib/ansi.lcd +share/lclint-2.2a/lib/ansi.h +share/lclint-2.2a/lib/README +share/lclint-2.2a/lib/CTraitGen.lcl +share/lclint-2.2a/lib/unixstrict.lcd +share/lclint-2.2a/imports/assert.lcl +share/lclint-2.2a/imports/time.lcl +share/lclint-2.2a/imports/strings.lcs +share/lclint-2.2a/imports/strings.lcl +share/lclint-2.2a/imports/string.lcs +share/lclint-2.2a/imports/string.lcl +share/lclint-2.2a/imports/stdlib.lcs +share/lclint-2.2a/imports/stdlib.lcl +share/lclint-2.2a/imports/stdio.lcs +share/lclint-2.2a/imports/stdio.lcl +share/lclint-2.2a/imports/stdarg.lcs +share/lclint-2.2a/imports/stdarg.lcl +share/lclint-2.2a/imports/signal.lcs +share/lclint-2.2a/imports/signal.lcl +share/lclint-2.2a/imports/setjmp.lcs +share/lclint-2.2a/imports/setjmp.lcl +share/lclint-2.2a/imports/math.lcs +share/lclint-2.2a/imports/math.lcl +share/lclint-2.2a/imports/locale.lcs +share/lclint-2.2a/imports/locale.lcl +share/lclint-2.2a/imports/limits.lcs +share/lclint-2.2a/imports/limits.lcl +share/lclint-2.2a/imports/errno.lcs +share/lclint-2.2a/imports/errno.lcl +share/lclint-2.2a/imports/ctype.lcs +share/lclint-2.2a/imports/ctype.lcl +share/lclint-2.2a/imports/assert.lcs +share/lclint-2.2a/imports/time.lcs |