Attachment 100455 Details for Bug 139738 – uppaal-4.0.10.patch

[patch] uppaal-4.0.10.patch

uppaal-4.0.10.patch (text/plain), 2.21 KB, created by Timothy Bourke on 2009-10-18 23:00:18 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Timothy Bourke

Created: 2009-10-18 23:00:18 UTC

Size: 2.21 KB

patch

obsolete

>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

Actions: View | Diff

Attachments on bug 139738: 100455