add pipe beta-1.0

Platform Independent Petri-Net Editor

4 files changed, 67 insertions, 0 deletions

diff --git a/misc/pipe/Makefile b/misc/pipe/Makefile
new file mode 100644
index 000000000000..fbf2f1bdbc45
--- /dev/null
+++ b/misc/pipe/Makefile
@@ -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>
diff --git a/misc/pipe/distinfo b/misc/pipe/distinfo
new file mode 100644
index 000000000000..2d88ad098ec9
--- /dev/null
+++ b/misc/pipe/distinfo
@@ -0,0 +1,2 @@
+MD5 (pipe-beta-1.0.zip) = bd9bff57bec23a2e1fdfac61546421a4
+SIZE (pipe-beta-1.0.zip) = 1797504
diff --git a/misc/pipe/files/pipe b/misc/pipe/files/pipe
new file mode 100644
index 000000000000..7c6abae119fe
--- /dev/null
+++ b/misc/pipe/files/pipe
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+java -cp %%DATADIR%% RunGui
diff --git a/misc/pipe/pkg-descr b/misc/pipe/pkg-descr
new file mode 100644
index 000000000000..a91fbef98cf0
--- /dev/null
+++ b/misc/pipe/pkg-descr
@@ -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/