diff options
author | Volker Stolz <vs@FreeBSD.org> | 2006-05-17 09:25:21 +0000 |
---|---|---|
committer | Volker Stolz <vs@FreeBSD.org> | 2006-05-17 09:25:21 +0000 |
commit | 033c92cbd8f63647d0870e5900e4f98b6e394afb (patch) | |
tree | f8dd8b300f10ba776b36bf92257d94011c24c43c /misc/pipe | |
parent | 1254aa7943a5dd2acf6d60a9c7358f1490ec083d (diff) | |
download | ports-033c92cbd8f63647d0870e5900e4f98b6e394afb.tar.gz ports-033c92cbd8f63647d0870e5900e4f98b6e394afb.zip |
Update to 2.0
PR: ports/96770
Submitted by: Stefan Pauly
Notes
Notes:
svn path=/head/; revision=162632
Diffstat (limited to 'misc/pipe')
-rw-r--r-- | misc/pipe/Makefile | 21 | ||||
-rw-r--r-- | misc/pipe/distinfo | 6 | ||||
-rw-r--r-- | misc/pipe/pkg-descr | 4 |
3 files changed, 15 insertions, 16 deletions
diff --git a/misc/pipe/Makefile b/misc/pipe/Makefile index 74cb0a2e5525..57cc44a71e39 100644 --- a/misc/pipe/Makefile +++ b/misc/pipe/Makefile @@ -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> diff --git a/misc/pipe/distinfo b/misc/pipe/distinfo index 951be978b4fc..4dcde1a6b9f8 100644 --- a/misc/pipe/distinfo +++ b/misc/pipe/distinfo @@ -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 diff --git a/misc/pipe/pkg-descr b/misc/pipe/pkg-descr index a91fbef98cf0..dfe5d37b1a4b 100644 --- a/misc/pipe/pkg-descr +++ b/misc/pipe/pkg-descr @@ -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/ |