#!/bin/sh 

#  
# Run this script to start UPPAAL 4.0
#

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