| Server IP : 82.208.35.60 / Your IP : 216.73.216.89 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/misc/pipe/ |
Upload File : |
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
WWW= http://pipe2.sourceforge.net/
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>