summaryrefslogtreecommitdiff
path: root/devel/splint/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'devel/splint/Makefile')
-rw-r--r--devel/splint/Makefile26
1 files changed, 26 insertions, 0 deletions
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>