Update to 2.0
PR: ports/96770 Submitted by: Stefan Pauly
This commit is contained in:
parent
1254aa7943
commit
033c92cbd8
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=162632
3 changed files with 15 additions and 16 deletions
|
@ -7,17 +7,17 @@
|
|||
#
|
||||
|
||||
PORTNAME= pipe
|
||||
PORTVERSION= 0.b.1.5
|
||||
PORTVERSION= 2.0
|
||||
CATEGORIES= misc java
|
||||
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
|
||||
MASTER_SITE_SUBDIR= petri-net
|
||||
DISTNAME= ${PORTNAME}-beta-1.5
|
||||
MASTER_SITE_SUBDIR= pipe2
|
||||
DISTNAME= PIPE2_V2_0
|
||||
|
||||
MAINTAINER= ports@FreeBSD.org
|
||||
COMMENT= Platform Independent Petri-Net Editor
|
||||
COMMENT= Platform Independent Petri-Net Editor 2
|
||||
|
||||
USE_ZIP= yes
|
||||
WRKSRC= ${WRKDIR}/${PORTNAME}
|
||||
WRKSRC= ${WRKDIR}/Pipe
|
||||
NO_WRKSUBDIR= yes
|
||||
NO_BUILD= yes
|
||||
USE_JAVA= yes
|
||||
|
@ -27,7 +27,7 @@ PLIST_FILES= bin/pipe
|
|||
SUB_FILES= pipe.sh
|
||||
|
||||
.if !defined(NOPORTDOCS)
|
||||
PORTDOCS= javadoc license manual
|
||||
PORTDOCS=*
|
||||
.endif
|
||||
|
||||
do-install:
|
||||
|
@ -37,16 +37,15 @@ do-install:
|
|||
${FIND} . -type d -exec ${MKDIR} ${DATADIR}/{} \;
|
||||
cd ${WRKSRC}/bin && \
|
||||
${FIND} . -type f -exec ${INSTALL_DATA} {} ${DATADIR}/{} \;
|
||||
${LN} -s ${DATADIR}/petri-nets ${DATADIR}/Example\ nets
|
||||
@${FIND} ${DATADIR} ! -type d | \
|
||||
${SED} 's,^${PREFIX}/,,' >> ${TMPPLIST}
|
||||
@${FIND} ${DATADIR} -type d | ${SORT} -r | \
|
||||
${SED} 's,^${PREFIX}/,@dirrm ,' >> ${TMPPLIST}
|
||||
.if !defined(NOPORTDOCS)
|
||||
cd ${WRKSRC}/resources && \
|
||||
${FIND} ${PORTDOCS} -type d -exec ${MKDIR} ${DOCSDIR}/{} \;
|
||||
cd ${WRKSRC}/resources && \
|
||||
${FIND} ${PORTDOCS} -type f -exec ${INSTALL_DATA} {} ${DOCSDIR}/{} \;
|
||||
cd ${WRKSRC}/doc && \
|
||||
${FIND} . -type d -exec ${MKDIR} ${DOCSDIR}/javadoc/{} \;
|
||||
cd ${WRKSRC}/doc && \
|
||||
${FIND} . -type f -exec ${INSTALL_DATA} {} ${DOCSDIR}/javadoc/{} \;
|
||||
.endif
|
||||
|
||||
.include <bsd.port.mk>
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
MD5 (pipe-beta-1.5.zip) = ad88a8b58de02fb0b68f7f85b11d3057
|
||||
SHA256 (pipe-beta-1.5.zip) = cbfe2d77b0da22e818bd6ba8bd2cdc48273a1ea40d0d3e02823c8b4ef49dd21a
|
||||
SIZE (pipe-beta-1.5.zip) = 1498335
|
||||
MD5 (PIPE2_V2_0.zip) = bcffc02ad80d8ae29421a2db4abd7c3f
|
||||
SHA256 (PIPE2_V2_0.zip) = e0795c9a338c83d770fac8c4202b41d7f91641de03db8de6f158e36306b32d05
|
||||
SIZE (PIPE2_V2_0.zip) = 1931536
|
||||
|
|
|
@ -6,10 +6,10 @@ the system cannot deadlock, that there cannot be any buffer overflows etc.
|
|||
PIPEs main aim is to improve on existing tools available for modeling Petri
|
||||
Nets. A key design feature is the modular approach adopted for analysis,
|
||||
enabling new modules to written easily and powerfully, using built-in data
|
||||
layer methods for standard calculations. Six analysis modules have been
|
||||
layer methods for standard calculations. Eight analysis modules have been
|
||||
written (so far) including Invariant Analysis, State-Space Analysis (deadlock,
|
||||
etc), Simulation Analysis & Classification. PIPE adheres to the latest XML
|
||||
Petri net standard (PNML). File format for saving and loading Petri-Nets is
|
||||
also extensible through the use of XSLT, the default being PNML.
|
||||
|
||||
WWW: http://petri-net.sourceforge.net/
|
||||
WWW: http://pipe2.sourceforge.net/
|
||||
|
|
Loading…
Reference in a new issue