kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

- Update to 4.0.10

Browse source 
PR:		139738
Submitted by:	Timothy Bourke <timbob@bigpond.com> (maintainer)
This commit is contained in:
Martin Wilke 2009-10-20 09:50:13 +00:00
parent b276dde808
commit 74ca9bfa7d
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=243096
3 changed files with 4 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
devel/uppaal/Makefile
View file

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

6
devel/uppaal/distinfo
View file

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

3
devel/uppaal/pkg-plist
View file

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