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