diff options
| author | mm <mm@FreeBSD.org> | 2007-08-17 18:11:42 +0800 |
|---|---|---|
| committer | mm <mm@FreeBSD.org> | 2007-08-17 18:11:42 +0800 |
| commit | a2a5056c6ee201182f66419187483995e2e229a8 (patch) | |
| tree | e577a28773a17da7fa3e57de6dd760eb3c112a30 /misc/pipe | |
| parent | 84441cee9186b7370ab3aed02bd28d02dd6afe39 (diff) | |
| download | freebsd-ports-gnome-a2a5056c6ee201182f66419187483995e2e229a8.tar.gz freebsd-ports-gnome-a2a5056c6ee201182f66419187483995e2e229a8.tar.zst freebsd-ports-gnome-a2a5056c6ee201182f66419187483995e2e229a8.zip | |
- Update to 2.4.5
- Change maintainer to submitter
PR: ports/115248
Submitted by: Stefan Pauly <stefan at fh-mainz.de>
Diffstat (limited to 'misc/pipe')
| -rw-r--r-- | misc/pipe/Makefile | 14 | ||||
| -rw-r--r-- | misc/pipe/distinfo | 6 | ||||
| -rw-r--r-- | misc/pipe/files/pipe.sh.in | 1 |
3 files changed, 10 insertions, 11 deletions
diff --git a/misc/pipe/Makefile b/misc/pipe/Makefile index 2325b33e9335..075a2f7fd8a7 100644 --- a/misc/pipe/Makefile +++ b/misc/pipe/Makefile @@ -7,18 +7,16 @@ # PORTNAME= pipe -PORTVERSION= 2.0 -PORTREVISION= 1 +PORTVERSION= 2.4.5 CATEGORIES= misc java MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= pipe2 -DISTNAME= PIPE2_V2_0 +DISTNAME= PipeV2-45 -MAINTAINER= ports@FreeBSD.org -COMMENT= Platform Independent Petri-Net Editor 2 +MAINTAINER= stefan@fh-mainz.de +COMMENT= A tool for creating and analysing Petri nets USE_ZIP= yes -WRKSRC= ${WRKDIR}/Pipe NO_WRKSUBDIR= yes NO_BUILD= yes USE_JAVA= yes @@ -43,9 +41,9 @@ do-install: @${FIND} ${DATADIR} -type d | ${SORT} -r | \ ${SED} 's,^${PREFIX}/,@dirrm ,' >> ${TMPPLIST} .if !defined(NOPORTDOCS) - cd ${WRKSRC}/doc && \ + cd ${WRKSRC}/docs && \ ${FIND} . -type d -exec ${MKDIR} ${DOCSDIR}/javadoc/{} \; - cd ${WRKSRC}/doc && \ + cd ${WRKSRC}/docs && \ ${FIND} . -type f -exec ${INSTALL_DATA} {} ${DOCSDIR}/javadoc/{} \; .endif diff --git a/misc/pipe/distinfo b/misc/pipe/distinfo index 4dcde1a6b9f8..6d8d2292683b 100644 --- a/misc/pipe/distinfo +++ b/misc/pipe/distinfo @@ -1,3 +1,3 @@ -MD5 (PIPE2_V2_0.zip) = bcffc02ad80d8ae29421a2db4abd7c3f -SHA256 (PIPE2_V2_0.zip) = e0795c9a338c83d770fac8c4202b41d7f91641de03db8de6f158e36306b32d05 -SIZE (PIPE2_V2_0.zip) = 1931536 +MD5 (PipeV2-45.zip) = 013816a8408745d4a5c4e6f848ec008d +SHA256 (PipeV2-45.zip) = eb73a797d6d251bce0bf7a20ae0fcc98697f37bb2216ee63a8754bf51ec0404b +SIZE (PipeV2-45.zip) = 7508153 diff --git a/misc/pipe/files/pipe.sh.in b/misc/pipe/files/pipe.sh.in index 48d6f3b13158..abd5404c0569 100644 --- a/misc/pipe/files/pipe.sh.in +++ b/misc/pipe/files/pipe.sh.in @@ -2,4 +2,5 @@ # # $FreeBSD$ +cd %%DATADIR%% JAVA_VERSION="%%JAVA_VERSION%%" "%%LOCALBASE%%/bin/java" -cp "%%DATADIR%%" RunGui |