#!/bin/sh
#
#  Main startup script for SDTGui
#

# Determine base directory
ROOTDIR=`dirname "$0"`
if [ "X$ROOTDIR" = "X." -o -z "$ROOTDIR" ] ; then
  ROOTDIR=`pwd`
fi
ROOTDIR=`dirname "$ROOTDIR"`

# Determine java executable
if [ -n "$JAVA_HOME" ] ; then
  java_cmd="$JAVA_HOME/bin/java"
else
  echo "WARNING Environment variable JAVA_HOME not set, trying to launch java from current PATH"
  java_cmd=java
fi

#  Set classpath and check for special options
SDTGUI_CLASSPATH=""

for i in compatibility engine gui util trace
do
	SDTGUI_CLASSPATH="$SDTGUI_CLASSPATH""$ROOTDIR"/lib/sdt_"$i".jar:
done

SERVOPT="service=SDTExecutionService"

$java_cmd -ea -cp "$SDTGUI_CLASSPATH" $GUI_JAVA_OPTS SDTGui $SERVOPT "$@"