diff options
Diffstat (limited to 'devel/splint/Makefile')
-rw-r--r-- | devel/splint/Makefile | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/devel/splint/Makefile b/devel/splint/Makefile deleted file mode 100644 index 746a0836c02a..000000000000 --- a/devel/splint/Makefile +++ /dev/null @@ -1,25 +0,0 @@ -# New ports collection makefile for: lclint -# Date created: 9 September 1996 -# Whom: moeding -# -# $FreeBSD$ -# - -PORTNAME= lclint -PORTVERSION= 2.5q -CATEGORIES= devel -MASTER_SITES= http://lclint.cs.virginia.edu/ -EXTRACT_SUFX= .src.tar.gz - -MAINTAINER= s.moeding@ndh.net - -GNU_CONFIGURE= yes -USE_GMAKE= yes - -do-build: - @(cd ${WRKSRC}; ${GMAKE}) - -post-install: - @strip ${PREFIX}/bin/lclint - -.include <bsd.port.mk> |