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/

PR:		ports/84975
Submitted by:	Timothy Bourke

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