add clint

Clint is a testbed for static source-code checking techniques. It is
currently designed to check C++ for common programmer errors and suggest
improvements.

6 files changed, 68 insertions, 0 deletions

diff --git a/devel/clint/Makefile b/devel/clint/Makefile
new file mode 100644
index 000000000000..4e6d9ccce444
--- /dev/null
+++ b/devel/clint/Makefile
@@ -0,0 +1,28 @@
+# ex:ts=8
+# New ports collection makefile for:	clint
+# Date created:			May 1, 2001
+# Whom:				ijliao
+#
+# $FreeBSD$
+#
+
+PORTNAME=	clint
+PORTVERSION=	0.1.2
+CATEGORIES=	devel
+MASTER_SITES=	${MASTER_SITE_SOURCEFORGE}
+MASTER_SITE_SUBDIR=	${PORTNAME}
+
+MAINTAINER=	ijliao@FreeBSD.org
+
+USE_PYTHON=	yes
+GNU_CONFIGURE=	yes
+USE_GMAKE=	yes
+INSTALLS_SHLIB=	yes
+
+post-patch:
+	@${PERL} -pi -e "s,-lpthread,${PTHREAD_LIBS},g" ${WRKSRC}/configure
+
+post-install:
+	@install-info ${PREFIX}/info/clint.info ${PREFIX}/info/dir
+
+.include <bsd.port.mk>
diff --git a/devel/clint/distinfo b/devel/clint/distinfo
new file mode 100644
index 000000000000..6c41699f50ae
--- /dev/null
+++ b/devel/clint/distinfo
@@ -0,0 +1 @@
+MD5 (clint-0.1.2.tar.gz) = dd62cd777c6228e66b8869eed4bfa7b2
diff --git a/devel/clint/files/patch-src::Makefile.in b/devel/clint/files/patch-src::Makefile.in
new file mode 100644
index 000000000000..2f8ccaf959f3
--- /dev/null
+++ b/devel/clint/files/patch-src::Makefile.in
@@ -0,0 +1,11 @@
+--- src/Makefile.in.orig	Tue May  1 16:52:17 2001
++++ src/Makefile.in	Tue May  1 16:52:26 2001
+@@ -107,7 +107,7 @@
+ 
+ CXXFLAGS = -Wall -pedantic -ansi -W @CXXFLAGS@ -DPKGLIBDIR="\"$(pkglibdir)\""
+ bin_PROGRAMS = clint
+-clint_LDFLAGS = -ldl -rdynamic
++clint_LDFLAGS = -rdynamic
+ subdir = src
+ mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
+ CONFIG_HEADER = ../config.h
diff --git a/devel/clint/pkg-comment b/devel/clint/pkg-comment
new file mode 100644
index 000000000000..4e8e998e9490
--- /dev/null
+++ b/devel/clint/pkg-comment
@@ -0,0 +1 @@
+A static source code checker for C++
diff --git a/devel/clint/pkg-descr b/devel/clint/pkg-descr
new file mode 100644
index 000000000000..0119af6576c6
--- /dev/null
+++ b/devel/clint/pkg-descr
@@ -0,0 +1,3 @@
+Clint is a testbed for static source-code checking techniques. It is
+currently designed to check C++ for common programmer errors and suggest
+improvements.
diff --git a/devel/clint/pkg-plist b/devel/clint/pkg-plist
new file mode 100644
index 000000000000..9aea0bfc3044
--- /dev/null
+++ b/devel/clint/pkg-plist
@@ -0,0 +1,24 @@
+bin/clint
+include/clint/exceptions.h
+include/clint/python.h
+@dirrm include/clint
+@unexec install-info --delete %D/info/clint.info %D/info/dir
+info/clint.info
+@exec install-info %D/info/clint.info %D/info/dir
+lib/clint/python.a
+lib/clint/python.la
+lib/libpython++.a
+lib/libpython++.la
+lib/libpython++.so
+lib/libpython++.so.0
+@dirrm lib/clint
+share/clint/clint.py
+share/clint/python_rules/c_comments.py
+share/clint/python_rules/catch_exception.py
+share/clint/python_rules/header_guard.py
+share/clint/python_rules/headers.py
+share/clint/python_rules/long_constant.py
+share/clint/python_rules/macros.py
+share/clint/python_rules/shortcut_if.py
+@dirrm share/clint/python_rules
+@dirrm share/clint