#!/bin/sh 

#  
# Run this script to start UPPAAL 3.4.
#

HERE=`dirname $0`
JAR=$HERE/uppaal2k.jar
ENGINE=$HERE/bin-`uname`
if [ "$DISPLAY" = ":0.0" ]; then 
  java -jar $JAR -enginePath $ENGINE $* 
else
  java -jar $JAR -enginePath $ENGINE -antialias off $* 
fi
