diff options
| author | vs <vs@FreeBSD.org> | 2006-05-17 17:25:21 +0800 |
|---|---|---|
| committer | vs <vs@FreeBSD.org> | 2006-05-17 17:25:21 +0800 |
| commit | 2714b7e2c9fae786d14dac8ec748fabb0732981e (patch) | |
| tree | 97dd36adaaec30fe10784d2ddd035f0453fea996 | |
| parent | 9400da84d1168f1eec2279e3086ee945699d41c7 (diff) | |
| download | freebsd-ports-gnome-2714b7e2c9fae786d14dac8ec748fabb0732981e.tar.gz freebsd-ports-gnome-2714b7e2c9fae786d14dac8ec748fabb0732981e.tar.zst freebsd-ports-gnome-2714b7e2c9fae786d14dac8ec748fabb0732981e.zip | |
Update to 2.0
PR: ports/96770
Submitted by: Stefan Pauly
| -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/ |