2012-12-10 14:43:43 +01:00
|
|
|
# Created by: ijliao
|
2004-08-23 10:04:45 +02:00
|
|
|
# $FreeBSD$
|
|
|
|
|
|
|
|
|
|
PORTNAME= pipe
|
2008-02-01 11:32:04 +01:00
|
|
|
PORTVERSION= 2.5
|
2008-06-06 16:17:21 +02:00
|
|
|
PORTREVISION= 1
|
2005-04-07 01:59:53 +02:00
|
|
|
CATEGORIES= misc java
|
2009-08-22 02:28:34 +02:00
|
|
|
MASTER_SITES= SF/${PORTNAME}2/Pipe%202/PIPE2%20V${PORTVERSION}
|
2008-02-01 11:32:04 +01:00
|
|
|
DISTNAME= pipe25_rc5
|
2004-08-23 10:04:45 +02:00
|
|
|
|
2014-05-10 20:28:13 +02:00
|
|
|
MAINTAINER= ports@FreeBSD.org
|
2014-07-07 17:31:01 +02:00
|
|
|
COMMENT= Tool for creating and analysing Petri nets
|
2004-08-23 10:04:45 +02:00
|
|
|
|
2014-03-10 17:25:33 +01:00
|
|
|
USES= zip
|
2004-08-23 10:04:45 +02:00
|
|
|
NO_BUILD= yes
|
2016-08-10 11:01:04 +02:00
|
|
|
NO_ARCH= yes
|
2004-08-23 10:04:45 +02:00
|
|
|
USE_JAVA= yes
|
2012-12-10 14:43:43 +01:00
|
|
|
JAVA_VERSION= 1.6+
|
2004-08-23 10:04:45 +02:00
|
|
|
|
2005-04-07 01:59:53 +02:00
|
|
|
SUB_FILES= pipe.sh
|
2004-08-23 10:04:45 +02:00
|
|
|
|
2016-08-10 11:01:04 +02:00
|
|
|
PORTDOCS= *
|
2014-07-04 02:56:57 +02:00
|
|
|
|
2016-08-10 11:01:04 +02:00
|
|
|
OPTIONS_DEFINE= DOCS
|
2004-08-23 10:04:45 +02:00
|
|
|
|
|
|
|
|
do-install:
|
2014-06-08 18:13:11 +02:00
|
|
|
${INSTALL_SCRIPT} ${WRKDIR}/pipe.sh ${STAGEDIR}${PREFIX}/bin/pipe
|
2016-08-10 11:01:04 +02:00
|
|
|
cd ${WRKSRC} && ${COPYTREE_SHARE} . ${STAGEDIR}${DATADIR}
|
|
|
|
|
|
|
|
|
|
do-install-DOCS-on:
|
|
|
|
|
cd ${WRKSRC}/Docs && ${COPYTREE_SHARE} . ${STAGEDIR}${DOCSDIR}/javadoc
|
2004-08-23 10:04:45 +02:00
|
|
|
|
|
|
|
|
.include <bsd.port.mk>
|
