blob: 3b1b281e63f16d0ca05d7c42f8e8c132d6c758f5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
# Created by: ijliao
# $FreeBSD$
PORTNAME= pipe
PORTVERSION= 2.5
PORTREVISION= 1
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
JAVA_VERSION= 1.6+
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>
|
