aboutsummaryrefslogtreecommitdiffstats
path: root/misc/pipe
diff options
context:
space:
mode:
authormiwi <miwi@FreeBSD.org>2008-02-01 18:32:04 +0800
committermiwi <miwi@FreeBSD.org>2008-02-01 18:32:04 +0800
commit977e12191603485db22ea7c2f9940930ccae5905 (patch)
treee3af8e53d0610602f51a4f10e428991d07dc6975 /misc/pipe
parentf8a5d1305467feafb9a8e859fcde0c4b75d88850 (diff)
downloadfreebsd-ports-gnome-977e12191603485db22ea7c2f9940930ccae5905.tar.gz
freebsd-ports-gnome-977e12191603485db22ea7c2f9940930ccae5905.tar.zst
freebsd-ports-gnome-977e12191603485db22ea7c2f9940930ccae5905.zip
- Update to 2.5
PR: 120089 Submitted by: Stefan Pauly <stefan@fh-mainz.de> (maintainer)
Diffstat (limited to 'misc/pipe')
-rw-r--r--misc/pipe/Makefile15
-rw-r--r--misc/pipe/distinfo6
2 files changed, 10 insertions, 11 deletions
diff --git a/misc/pipe/Makefile b/misc/pipe/Makefile
index 075a2f7fd8a7..c99a438b5fd6 100644
--- a/misc/pipe/Makefile
+++ b/misc/pipe/Makefile
@@ -7,17 +7,16 @@
#
PORTNAME= pipe
-PORTVERSION= 2.4.5
+PORTVERSION= 2.5
CATEGORIES= misc java
-MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
+MASTER_SITES= SF
MASTER_SITE_SUBDIR= pipe2
-DISTNAME= PipeV2-45
+DISTNAME= pipe25_rc5
MAINTAINER= stefan@fh-mainz.de
COMMENT= A tool for creating and analysing Petri nets
USE_ZIP= yes
-NO_WRKSUBDIR= yes
NO_BUILD= yes
USE_JAVA= yes
JAVA_VERSION= 1.3+
@@ -32,18 +31,18 @@ PORTDOCS=*
do-install:
${INSTALL_SCRIPT} ${WRKDIR}/pipe.sh ${PREFIX}/bin/pipe
@${MKDIR} ${DATADIR}
- cd ${WRKSRC}/bin && \
+ cd ${WRKSRC} && \
${FIND} . -type d -exec ${MKDIR} ${DATADIR}/{} \;
- cd ${WRKSRC}/bin && \
+ cd ${WRKSRC} && \
${FIND} . -type f -exec ${INSTALL_DATA} {} ${DATADIR}/{} \;
@${FIND} ${DATADIR} ! -type d | \
${SED} 's,^${PREFIX}/,,' >> ${TMPPLIST}
@${FIND} ${DATADIR} -type d | ${SORT} -r | \
${SED} 's,^${PREFIX}/,@dirrm ,' >> ${TMPPLIST}
.if !defined(NOPORTDOCS)
- cd ${WRKSRC}/docs && \
+ cd ${WRKSRC}/Docs && \
${FIND} . -type d -exec ${MKDIR} ${DOCSDIR}/javadoc/{} \;
- cd ${WRKSRC}/docs && \
+ cd ${WRKSRC}/Docs && \
${FIND} . -type f -exec ${INSTALL_DATA} {} ${DOCSDIR}/javadoc/{} \;
.endif
diff --git a/misc/pipe/distinfo b/misc/pipe/distinfo
index 6d8d2292683b..cd62a94a17b2 100644
--- a/misc/pipe/distinfo
+++ b/misc/pipe/distinfo
@@ -1,3 +1,3 @@
-MD5 (PipeV2-45.zip) = 013816a8408745d4a5c4e6f848ec008d
-SHA256 (PipeV2-45.zip) = eb73a797d6d251bce0bf7a20ae0fcc98697f37bb2216ee63a8754bf51ec0404b
-SIZE (PipeV2-45.zip) = 7508153
+MD5 (pipe25_rc5.zip) = 1f5302db93b855bbc5624a447573afdb
+SHA256 (pipe25_rc5.zip) = ce702f300f691bdc10e2b9727ea4f15d0baec002548d352d3c80a01e6be060c1
+SIZE (pipe25_rc5.zip) = 2070158