diff options
author | Volker Stolz <vs@FreeBSD.org> | 2005-11-16 09:25:52 +0000 |
---|---|---|
committer | Volker Stolz <vs@FreeBSD.org> | 2005-11-16 09:25:52 +0000 |
commit | da59b4c557eec0a1a69c9768dd44329e8050b2b8 (patch) | |
tree | b57a5b6f2227496e4ab34e3fa9413ee44ddfb50e | |
parent | 6aeee4424b6b0534b00ed71f8b235fe659338600 (diff) | |
download | ports-da59b4c557eec0a1a69c9768dd44329e8050b2b8.tar.gz ports-da59b4c557eec0a1a69c9768dd44329e8050b2b8.zip |
Notes
-rw-r--r-- | devel/Makefile | 1 | ||||
-rw-r--r-- | devel/uppaal/Makefile | 79 | ||||
-rw-r--r-- | devel/uppaal/distinfo | 2 | ||||
-rw-r--r-- | devel/uppaal/files/patch-uppaal | 11 | ||||
-rw-r--r-- | devel/uppaal/files/uppaal.in | 14 | ||||
-rw-r--r-- | devel/uppaal/files/verifyta.in | 2 | ||||
-rw-r--r-- | devel/uppaal/pkg-descr | 9 | ||||
-rw-r--r-- | devel/uppaal/pkg-plist | 25 |
8 files changed, 143 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 2677a84709e9..86c305128d46 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1611,6 +1611,7 @@ SUBDIR += uclmmbase SUBDIR += ucpp SUBDIR += upnp + SUBDIR += uppaal SUBDIR += ups-debug SUBDIR += ustl SUBDIR += valgrind diff --git a/devel/uppaal/Makefile b/devel/uppaal/Makefile new file mode 100644 index 000000000000..70ca446a204b --- /dev/null +++ b/devel/uppaal/Makefile @@ -0,0 +1,79 @@ +# New ports collection makefile for: uppaal +# Date created: 16 August 2005 +# Whom: Timothy Bourke <timbob@bigpond.com> +# +# $FreeBSD$ +# + +PORTNAME= uppaal +PORTVERSION= 3.4.11 +CATEGORIES= devel java linux +DISTNAME= ${PORTNAME} + +MAINTAINER= timbob@bigpond.com +COMMENT= Tool environment for modeling and verifying timed automata + +USE_ZIP= yes +USE_LINUX= yes +USE_JAVA= yes +JAVA_VERSION= 1.4+ +JAVA_RUN= yes + +SUB_FILES= uppaal verifyta +SUB_LIST+= PORTNAME=${PORTNAME} +PLIST_SUB+= PORTNAME=${PORTNAME} +NO_BUILD= yes +WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION} + +MAN1= uppaal.1 +MANCOMPRESSED= no + +RESTRICTED= "Downloading requires completion of a license agreement" + +.include <bsd.port.pre.mk> +TO_BE_FETCHED= +.for f in ${DISTFILES} +.if ! exists (${DISTDIR}/${DIST_SUBDIR}/${f}) +TO_BE_FETCHED+= ${f} +.endif +.endfor + +do-fetch: +.if ${TO_BE_FETCHED} != "" +ECHO_MSG=/usr/bin/printf +IGNORE= :\n\n\ +------------------------------------------------------------------\n\ +Downloading this software requires completion of a licence\n\ +agreement, which may be found at: http://www.uppaal.com\n\ +\n\ +Please download the _latest_ versions of the following files into\n\ +${DISTDIR}/${DIST_SUBDIR}\n\ +\n +.for f in ${TO_BE_FETCHED} +IGNORE+= ${f}\n +.endfor +IGNORE+=------------------------------------------------------------------\n\n +.endif + +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: + ${MKDIR} ${DOCSDIR} + ${MKDIR} ${JAVASHAREDIR}/${PORTNAME}/lib + ${INSTALL_DATA} ${WRKSRC}/README ${DOCSDIR} + ${INSTALL_DATA} ${WRKSRC}/License-ASF ${DOCSDIR} + ${INSTALL_PROGRAM} ${WRKSRC}/bin-Linux/* ${JAVASHAREDIR}/${PORTNAME} + ${INSTALL_DATA} ${WRKSRC}/uppaal2k.jar ${JAVASHAREDIR}/${PORTNAME} + ${INSTALL_DATA} ${WRKSRC}/lib/*.jar ${JAVASHAREDIR}/${PORTNAME}/lib + ${MKDIR} ${JAVASHAREDIR}/${PORTNAME}/demo + ${INSTALL_DATA} ${WRKSRC}/demo/* ${JAVASHAREDIR}/${PORTNAME}/demo + ${INSTALL_MAN} ${WRKSRC}/man/man1/uppaal.1 ${PREFIX}/man/man1 + ${INSTALL_SCRIPT} ${WRKDIR}/verifyta ${PREFIX}/bin + ${INSTALL_SCRIPT} ${WRKDIR}/uppaal ${PREFIX}/bin + +.include <bsd.port.post.mk> diff --git a/devel/uppaal/distinfo b/devel/uppaal/distinfo new file mode 100644 index 000000000000..6596f6409a05 --- /dev/null +++ b/devel/uppaal/distinfo @@ -0,0 +1,2 @@ +MD5 (uppaal.zip) = 2358ab2a7cf8a575015066a144bc7603 +SIZE (uppaal.zip) = 8535802 diff --git a/devel/uppaal/files/patch-uppaal b/devel/uppaal/files/patch-uppaal new file mode 100644 index 000000000000..2a2206a78330 --- /dev/null +++ b/devel/uppaal/files/patch-uppaal @@ -0,0 +1,11 @@ +--- uppaal.orig Tue Aug 16 10:56:11 2005 ++++ uppaal Tue Aug 16 10:56:19 2005 +@@ -6,7 +6,7 @@ + + HERE=`dirname $0` + JAR=$HERE/uppaal2k.jar +-ENGINE=$HERE/bin-`uname` ++ENGINE=$HERE/bin-Linux + if [ "$DISPLAY" = ":0.0" ]; then + java -jar $JAR -enginePath $ENGINE $* + else diff --git a/devel/uppaal/files/uppaal.in b/devel/uppaal/files/uppaal.in new file mode 100644 index 000000000000..38b4140a480d --- /dev/null +++ b/devel/uppaal/files/uppaal.in @@ -0,0 +1,14 @@ +#!/bin/sh + +JAR=%%JAVASHAREDIR%%/%%PORTNAME%%/uppaal2k.jar +ENGINE=%%JAVASHAREDIR%%/%%PORTNAME%% + +DISPSERV=$(expr "$DISPLAY" : '^\(.*\):.*') +if [ -z "$DISPSERV" ]; then DISPSERV=$(hostname); fi + +if [ "$DISPSERV" = "$(hostname)" ]; then + java -jar $JAR -enginePath $ENGINE $* +else + java -jar $JAR -enginePath $ENGINE -antialias off $* +fi + diff --git a/devel/uppaal/files/verifyta.in b/devel/uppaal/files/verifyta.in new file mode 100644 index 000000000000..b10e17d2d758 --- /dev/null +++ b/devel/uppaal/files/verifyta.in @@ -0,0 +1,2 @@ +#!/bin/sh +exec %%JAVASHAREDIR%%/%%PORTNAME%%/verifyta $* diff --git a/devel/uppaal/pkg-descr b/devel/uppaal/pkg-descr new file mode 100644 index 000000000000..c82c0dd433df --- /dev/null +++ b/devel/uppaal/pkg-descr @@ -0,0 +1,9 @@ +Uppaal is an integrated tool environment for modeling, validation +and verification of real-time systems modeled as networks of timed +automata, extended with data types (bounded integers, arrays, etc.). + +The tool is developed in collaboration between the Department of +Information Technology at Uppsala University, Sweden and the +Department of Computer Science at Aalborg University in Denmark. + +WWW: http://www.uppaal.com/ diff --git a/devel/uppaal/pkg-plist b/devel/uppaal/pkg-plist new file mode 100644 index 000000000000..bc7c7629fd17 --- /dev/null +++ b/devel/uppaal/pkg-plist @@ -0,0 +1,25 @@ +bin/uppaal +bin/verifyta +%%JAVASHAREDIR%%/%%PORTNAME%%/uppaal2k.jar +%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jhbasic.jar +%%JAVASHAREDIR%%/%%PORTNAME%%/lib/jlfgr-1_0.jar +%%JAVASHAREDIR%%/%%PORTNAME%%/lib/xalan.jar +%%JAVASHAREDIR%%/%%PORTNAME%%/lib/xercesImpl.jar +%%JAVASHAREDIR%%/%%PORTNAME%%/lib/xmlParserAPIs.jar +%%JAVASHAREDIR%%/%%PORTNAME%%/server.exe +%%JAVASHAREDIR%%/%%PORTNAME%%/socketserver.exe +%%JAVASHAREDIR%%/%%PORTNAME%%/verifyta +%%JAVASHAREDIR%%/%%PORTNAME%%/demo/2doors.xml +%%JAVASHAREDIR%%/%%PORTNAME%%/demo/2doors.q +%%JAVASHAREDIR%%/%%PORTNAME%%/demo/bridge.xml +%%JAVASHAREDIR%%/%%PORTNAME%%/demo/bridge.q +%%JAVASHAREDIR%%/%%PORTNAME%%/demo/fischer.xml +%%JAVASHAREDIR%%/%%PORTNAME%%/demo/fischer.q +%%JAVASHAREDIR%%/%%PORTNAME%%/demo/train-gate.xml +%%JAVASHAREDIR%%/%%PORTNAME%%/demo/train-gate.q +%%DOCSDIR%%/README +%%DOCSDIR%%/License-ASF +@dirrm %%JAVASHAREDIR%%/%%PORTNAME%%/demo +@dirrm %%JAVASHAREDIR%%/%%PORTNAME%%/lib +@dirrm %%JAVASHAREDIR%%/%%PORTNAME%% +@dirrm %%DOCSDIR%% |