#!/bin/csh

# Find out J_HOME
set J_BIN=`which java`
if ($status != 0) then
	echo "ERROR: Command 'java' not found. Please add it to your path."
	exit 5
endif
set J_BIN_DIR=`dirname $J_BIN`
set J_HOME=`dirname $J_BIN_DIR`

# Find out PROGDIR
set BINDIR=`dirname $0`
set PROGDIR=`dirname $BINDIR`

# Check for JAVA_HOME
if ($?JAVA_HOME) then
   echo "WARNING: You have set JAVA_HOME to $JAVA_HOME."
	echo "         You cannot switch between different"
	echo "         JDKs with this env variable set!"
endif

# Check CLASSPATH
if (! $?CLASSPATH) then
	set CLASSPATH=$J_HOME/lib/dt.jar:$J_HOME/lib/tools.jar
endif

# And start the JavaVM with the correct start class
$J_HOME/bin/java -mx128m -classpath $J_HOME/lib/tools.jar:$PROGDIR/lib/Jedi.jar -Djedi.root=$PROGDIR -Djedi.class.path=$CLASSPATH jedi.Jedi
