Date: Mon, 19 Oct 2009 08:57:55 +1100 (EST) From: Timothy Bourke <timbob@bigpond.com> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/139738: [MAINTAINER] devel/uppaal: update to 4.0.10 Message-ID: <200910182157.n9ILvtI8019829@triptrop.cse.unsw.edu.au> Resent-Message-ID: <200910182200.n9IM0JQ2047580@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 139738
>Category: ports
>Synopsis: [MAINTAINER] devel/uppaal: update to 4.0.10
>Confidential: no
>Severity: non-critical
>Priority: low
>Responsible: freebsd-ports-bugs
>State: open
>Quarter:
>Keywords:
>Date-Required:
>Class: maintainer-update
>Submitter-Id: current-users
>Arrival-Date: Sun Oct 18 22:00:18 UTC 2009
>Closed-Date:
>Last-Modified:
>Originator: Timothy Bourke
>Release: FreeBSD 6.4-RELEASE i386
>Organization:
>Environment:
System: FreeBSD triptrop 6.4-RELEASE FreeBSD 6.4-RELEASE #6: Sun Nov 30 20:46:29 EST 2008
>Description:
- Update to 4.0.10
Generated with FreeBSD Port Tools 0.99
>How-To-Repeat:
>Fix:
--- uppaal-4.0.10.patch begins here ---
Index: Makefile
===================================================================
RCS file: /home/ncvs/ports/devel/uppaal/Makefile,v
retrieving revision 1.9
diff -u -r1.9 Makefile
--- Makefile 10 Jan 2009 15:27:26 -0000 1.9
+++ Makefile 18 Oct 2009 21:58:26 -0000
@@ -6,7 +6,7 @@
#
PORTNAME= uppaal
-PORTVERSION= 4.0.7
+PORTVERSION= 4.0.10
CATEGORIES= devel java linux
DISTNAME= uppaal-${PORTVERSION}-aca
@@ -48,8 +48,6 @@
post-patch:
${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/server
${MV} ${WRKSRC}/bin-Linux/server ${WRKSRC}/bin-Linux/server.exe
- ${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/socketserver
- ${MV} ${WRKSRC}/bin-Linux/socketserver ${WRKSRC}/bin-Linux/socketserver.exe
${BRANDELF} -t Linux ${WRKSRC}/bin-Linux/verifyta
do-install:
Index: distinfo
===================================================================
RCS file: /home/ncvs/ports/devel/uppaal/distinfo,v
retrieving revision 1.4
diff -u -r1.4 distinfo
--- distinfo 10 Jan 2009 15:27:26 -0000 1.4
+++ distinfo 18 Oct 2009 21:58:26 -0000
@@ -1,3 +1,3 @@
-MD5 (uppaal-4.0.7-aca.zip) = 20efdc9456c5934270ef6301bb1b88ea
-SHA256 (uppaal-4.0.7-aca.zip) = fa2a7419ff2896bc89d6fa1ace005c22e58bcaef80da672755c970f5a1b3434c
-SIZE (uppaal-4.0.7-aca.zip) = 4968952
+MD5 (uppaal-4.0.10-aca.zip) = d6b2f7fcf97ec4dbe7e4a4c57af60ccf
+SHA256 (uppaal-4.0.10-aca.zip) = 0b37a67d41e65f28d751ba879544281fbfb2a470404f929eb40ecc7735af716c
+SIZE (uppaal-4.0.10-aca.zip) = 5537915
Index: pkg-plist
===================================================================
RCS file: /home/ncvs/ports/devel/uppaal/pkg-plist,v
retrieving revision 1.3
diff -u -r1.3 pkg-plist
--- pkg-plist 10 Jan 2009 15:27:26 -0000 1.3
+++ pkg-plist 18 Oct 2009 21:58:26 -0000
@@ -4,12 +4,9 @@
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jdom.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jh.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jlfgr-1_0.jar
-%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jsr173_1.0_api.jar
-%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jsr173_1.0_ri.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/model.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/lib/swixml.jar
%%JAVASHAREDIR%%/%%PORTNAME%%/server.exe
-%%JAVASHAREDIR%%/%%PORTNAME%%/socketserver.exe
%%JAVASHAREDIR%%/%%PORTNAME%%/verifyta
%%JAVASHAREDIR%%/%%PORTNAME%%/uppaal.jar
%%EXAMPLESDIR%%/2doors.xml
--- uppaal-4.0.10.patch ends here ---
>Release-Note:
>Audit-Trail:
>Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200910182157.n9ILvtI8019829>