summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid E. O'Brien <obrien@FreeBSD.org>1996-12-11 22:51:22 +0000
committerDavid E. O'Brien <obrien@FreeBSD.org>1996-12-11 22:51:22 +0000
commitba8ea5d95e0edaea41feaab8da6210960e21244f (patch)
treedaf611035f6b1c853c1656d35e860c8b3cad6c52
parent1.0.95 --> 1.0.96 (diff)
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/ Closes-PR: ports/1646 Submitted by: Stefan Moeding <moeding@bn.DeTeMobil.de>
Notes
Notes: svn path=/head/; revision=4937
-rw-r--r--devel/lclint/Makefile26
-rw-r--r--devel/lclint/distinfo1
-rw-r--r--devel/lclint/files/patch-aa47
-rw-r--r--devel/lclint/pkg-comment1
-rw-r--r--devel/lclint/pkg-descr8
-rw-r--r--devel/lclint/pkg-plist46
-rw-r--r--devel/splint/Makefile26
-rw-r--r--devel/splint/distinfo1
-rw-r--r--devel/splint/files/patch-aa47
-rw-r--r--devel/splint/pkg-comment1
-rw-r--r--devel/splint/pkg-descr8
-rw-r--r--devel/splint/pkg-plist46
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