# New ports collection makefile for:	jlint
# Date created:		June 2, 2001
# Whom:			Ernst de Haan <znerd@FreeBSD.org>
#
# $FreeBSD: ports/java/jlint/Makefile,v 1.6 2003/03/07 06:04:41 ade Exp $
#

PORTNAME=	jlint
PORTVERSION=	2.3
CATEGORIES=	java
MASTER_SITES=	http://artho.com/jlint/ \
		http://www.metaverse.nl/~ernst/

MAINTAINER=	znerd@FreeBSD.org
COMMENT=	Java program analyzer and checker

USE_REINPLACE=	YES

.include <bsd.port.pre.mk>

post-patch:
	@${REINPLACE_CMD} -e 's,/bin/bash,/bin/sh,' ${WRKSRC}/jlint.sh

do-install:
	${INSTALL_PROGRAM} ${WRKSRC}/jlint ${PREFIX}/bin
	${INSTALL_PROGRAM} ${WRKSRC}/antic ${PREFIX}/bin
	${INSTALL_SCRIPT} ${WRKSRC}/jlint.sh ${PREFIX}/bin
.if !defined(NOPORTDOCS)
	${MKDIR} ${DOCSDIR}
	${INSTALL_DATA} ${WRKSRC}/manual.pdf ${WRKSRC}/manual.html ${DOCSDIR}
.endif

.include <bsd.port.post.mk>
