mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-28 05:29:48 +00:00
39 lines
939 B
Makefile
39 lines
939 B
Makefile
# New ports collection makefile for: redet
|
|
# Date created: 2005-07-18
|
|
# Whom: Vsevolod Stakhov <vsevolod@highsecure.ru>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= redet
|
|
PORTVERSION= 8.18
|
|
CATEGORIES= textproc tk84
|
|
MASTER_SITES= CSME
|
|
|
|
MAINTAINER= infofarmer@FreeBSD.org
|
|
COMMENT= Visual regexp development and execution
|
|
|
|
RUN_DEPENDS= ${LOCALBASE}/lib/iwidgets/iwidgets.tcl:${PORTSDIR}/x11-toolkits/iwidgets
|
|
|
|
NO_BUILD= yes
|
|
USE_BZIP2= yes
|
|
USE_TK= 84
|
|
|
|
WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION}
|
|
PORTDOCS= AUTHORS COPYING CREDITS LICENSE README-General ChangeLog
|
|
MAN1= redet.1
|
|
PLIST_FILES= bin/redet
|
|
|
|
post-patch:
|
|
@${REINPLACE_CMD} -e "s@exec wish@exec ${WISH}@" ${WRKSRC}/redet.tcl
|
|
|
|
do-install:
|
|
${INSTALL_SCRIPT} ${WRKSRC}/redet.tcl ${PREFIX}/bin/redet
|
|
${INSTALL_MAN} ${WRKSRC}/${MAN1} ${MAN1PREFIX}/man/man1/
|
|
.if !defined(NOPORTDOCS)
|
|
@${INSTALL} -d ${DOCSDIR}
|
|
@${INSTALL_DATA} ${PORTDOCS:S,^,${WRKSRC}/,} ${DOCSDIR}/
|
|
.endif
|
|
|
|
.include <bsd.port.mk>
|