mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-20 00:21:35 +00:00
add pipe beta-1.0
Platform Independent Petri-Net Editor
This commit is contained in:
parent
72f0037c02
commit
b4842fa147
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=117103
@ -325,6 +325,7 @@
|
||||
SUBDIR += php5-calendar
|
||||
SUBDIR += phraze
|
||||
SUBDIR += pinfo
|
||||
SUBDIR += pipe
|
||||
SUBDIR += pointless
|
||||
SUBDIR += porteasy
|
||||
SUBDIR += portell
|
||||
|
47
misc/pipe/Makefile
Normal file
47
misc/pipe/Makefile
Normal file
@ -0,0 +1,47 @@
|
||||
# ex:ts=8
|
||||
# Ports collection makefile for: pipe
|
||||
# Date created: Feb 9, 2004
|
||||
# Whom: ijliao
|
||||
#
|
||||
# $FreeBSD$
|
||||
#
|
||||
|
||||
PORTNAME= pipe
|
||||
PORTVERSION= 0.b.1.0
|
||||
CATEGORIES= misc
|
||||
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
|
||||
MASTER_SITE_SUBDIR= petri-net
|
||||
DISTNAME= ${PORTNAME}-beta-1.0
|
||||
|
||||
MAINTAINER= ports@FreeBSD.org
|
||||
COMMENT= Platform Independent Petri-Net Editor
|
||||
|
||||
USE_ZIP= yes
|
||||
WRKSRC= ${WRKDIR}/PIPE
|
||||
NO_WRKSUBDIR= yes
|
||||
NO_BUILD= yes
|
||||
USE_JAVA= yes
|
||||
|
||||
PLIST_FILES= bin/pipe
|
||||
|
||||
.if !defined(NOPORTDOCS)
|
||||
PORTDOCS= *
|
||||
.endif
|
||||
|
||||
post-extract:
|
||||
@${SED} 's,%%DATADIR%%,${DATADIR},' ${FILESDIR}/pipe > ${WRKSRC}/pipe
|
||||
|
||||
do-install:
|
||||
${INSTALL_SCRIPT} ${WRKSRC}/pipe ${PREFIX}/bin
|
||||
@${MKDIR} ${DATADIR}
|
||||
${CP} -R ${WRKSRC}/bin/ ${DATADIR}
|
||||
@${FIND} ${DATADIR} ! -type d | \
|
||||
${SED} 's,^${PREFIX}/,,' >> ${TMPPLIST}
|
||||
@${FIND} ${DATADIR} -type d | ${SORT} -r | \
|
||||
${SED} 's,^${PREFIX}/,@dirrm ,' >> ${TMPPLIST}
|
||||
.if !defined(NOPORTDOCS)
|
||||
@${MKDIR} ${DOCSDIR}
|
||||
${CP} -R ${WRKSRC}/doc/ ${DOCSDIR}
|
||||
.endif
|
||||
|
||||
.include <bsd.port.mk>
|
2
misc/pipe/distinfo
Normal file
2
misc/pipe/distinfo
Normal file
@ -0,0 +1,2 @@
|
||||
MD5 (pipe-beta-1.0.zip) = bd9bff57bec23a2e1fdfac61546421a4
|
||||
SIZE (pipe-beta-1.0.zip) = 1797504
|
3
misc/pipe/files/pipe
Normal file
3
misc/pipe/files/pipe
Normal file
@ -0,0 +1,3 @@
|
||||
#!/bin/sh
|
||||
|
||||
java -cp %%DATADIR%% RunGui
|
15
misc/pipe/pkg-descr
Normal file
15
misc/pipe/pkg-descr
Normal file
@ -0,0 +1,15 @@
|
||||
Petri nets are a popular graphical way of modeling concurrent systems such as
|
||||
communications protocols, multiprocessor computers etc. With Petri nets it is
|
||||
possible to assess the correctness of systems for example by verifying that
|
||||
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
|
||||
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/
|
Loading…
Reference in New Issue
Block a user