#!/bin/sh

#--- Configuration -----------------------------------------
#
#  You will need to change these variables to reflect
#  where and how you wish to run Key.

#      this will normally be set already
#   JDK_HOME=/usr/local/java

#      this should be set to where the key home directory is
#	KEY_HOME=$HOME/key

#      this is set for linux, it disables the AWT (less memory usage)
export NS_JAVA="true"

#      this is the location of the virtual machine
	JAVA_VM=$JDKHOME/bin/java
#	JAVA_VM=$JDKHOME/bin/java_g
#   JAVA_VM=/usr/local/bin/kaffe

#      options for the virtual machine
#	VM_OPT="-mx10m -noasyncgc -ss10k -oss40k -ms5m"
#	VM_OPT=-verbosegc
#	VM_OPT="-noasyncgc -prof"
	VM_OPT="-Xrs -Xmx45m -Xms5m -Djava.compiler=NONE"

#      the class to start with
	BASE_CLASS=key.Main

#----------------------------------------- Configuration ---

#--- Script ------------------------------------------------
#
#  The remainder of this file need not be changed.  It is
#  a shell script that will ensure Key is started with the
#  supplied parameters and in the correct directory.
#

#while( true )
#do
	cd $KEY_HOME
	$JAVA_VM $VM_OPT $BASE_CLASS $*
#	sleep 2
#done

#
#------------------------------------------------ Script ---