#!/bin/sh 
#  uppaal2k
#  
# Run this script to start UPPAAL2k. Note that swingall.jar must be in your 
# CLASSPATH if you use JAVA 1.1.8 or earlier.

HERE=`dirname $0`
JARS=`echo $HERE/uppaal2k.jar $HERE/lib/*.jar | sed s/\ /:/g`

CLASSPATH=${JARS}:${CLASSPATH}; export CLASSPATH;
java com.uppaal.gui.Main -enginePath $HERE/bin-`uname` $* 2> /dev/null 
