diff options
| author | miwi <miwi@FreeBSD.org> | 2009-10-20 17:50:13 +0800 |
|---|---|---|
| committer | miwi <miwi@FreeBSD.org> | 2009-10-20 17:50:13 +0800 |
| commit | d3916c10e63c34d21eb3336cb3cd98e10f59bc61 (patch) | |
| tree | ba1241864fd1dd66d77e6e2748d4feda2c717b59 | |
| parent | 01add0df959ee858464be9b93d50ff10758d2591 (diff) | |
| download | freebsd-ports-graphics-d3916c10e63c34d21eb3336cb3cd98e10f59bc61.tar.gz freebsd-ports-graphics-d3916c10e63c34d21eb3336cb3cd98e10f59bc61.tar.zst freebsd-ports-graphics-d3916c10e63c34d21eb3336cb3cd98e10f59bc61.zip | |
- Update to 4.0.10
PR: 139738
Submitted by: Timothy Bourke <timbob@bigpond.com> (maintainer)
| -rw-r--r-- | devel/uppaal/Makefile | 4 | ||||
| -rw-r--r-- | devel/uppaal/distinfo | 6 | ||||
| -rw-r--r-- | devel/uppaal/pkg-plist | 3 |
3 files changed, 4 insertions, 9 deletions
diff --git a/devel/uppaal/Makefile b/devel/uppaal/Makefile index d37369ebee3..4e3de150a53 100644 --- a/devel/uppaal/Makefile +++ b/devel/uppaal/Makefile @@ -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 @@ ${DISTDIR}/${DIST_SUBDIR} from:\n\t${DOWNLOAD_URL}\n 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: diff --git a/devel/uppaal/distinfo b/devel/uppaal/distinfo index 951259cc7a3..689fbe01cb7 100644 --- a/devel/uppaal/distinfo +++ b/devel/uppaal/distinfo @@ -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 diff --git a/devel/uppaal/pkg-plist b/devel/uppaal/pkg-plist index b712042240c..aaed5326328 100644 --- a/devel/uppaal/pkg-plist +++ b/devel/uppaal/pkg-plist @@ -4,12 +4,9 @@ bin/verifyta %%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 |