diff options
Diffstat (limited to 'devel/splint/Makefile')
| -rw-r--r-- | devel/splint/Makefile | 26 |
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> |