mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-23 04:23:08 +00:00
5a52a08234
java/openjdk6 support was removed from Mk/bsd.java.mk (r512662) and java/openjdk6 and java/openjdk6-jre were removed from the ports tree (r512663). Now this patch completely removes remaining stuff from the ports tree. PR: 241953 (exp-run) Reviewed by: glewis Approved by: portmgr (antoine) Differential Revision: https://reviews.freebsd.org/D22342
33 lines
635 B
Makefile
33 lines
635 B
Makefile
# Created by: ijliao
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= pipe
|
|
PORTVERSION= 2.5
|
|
PORTREVISION= 2
|
|
CATEGORIES= misc java
|
|
MASTER_SITES= SF/${PORTNAME}2/Pipe%202/PIPE2%20V${PORTVERSION}
|
|
DISTNAME= pipe25_rc5
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= Tool for creating and analysing Petri nets
|
|
|
|
USES= zip
|
|
NO_BUILD= yes
|
|
NO_ARCH= yes
|
|
USE_JAVA= yes
|
|
|
|
SUB_FILES= pipe.sh
|
|
|
|
PORTDOCS= *
|
|
|
|
OPTIONS_DEFINE= DOCS
|
|
|
|
do-install:
|
|
${INSTALL_SCRIPT} ${WRKDIR}/pipe.sh ${STAGEDIR}${PREFIX}/bin/pipe
|
|
cd ${WRKSRC} && ${COPYTREE_SHARE} . ${STAGEDIR}${DATADIR}
|
|
|
|
do-install-DOCS-on:
|
|
cd ${WRKSRC}/Docs && ${COPYTREE_SHARE} . ${STAGEDIR}${DOCSDIR}/javadoc
|
|
|
|
.include <bsd.port.mk>
|