ports/139738: [MAINTAINER] devel/uppaal: update to 4.0.10

[Timothy Bourke]

>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: