#!/bin/bash

this_dir=`dirname "$0"`
export ix=$this_dir/..

. $this_dir/cpath-setvars

# Location of system classes

java_home=`type -p java | sed s:/bin/java::`

if [ ! -f $java_home/jre/lib/rt.jar ]
then
    # Looks like the java command wasn't in a proper Java home.
    echo "No bin/java at $java_home"
    # java_home=/local/linux-jdk/jdk1.3.0_02
    java_home=/etc/alternatives/java_sdk/
    echo "Using $java_home"
fi

# jdk_classes=/local/linux-jdk/jdk1.3.0_02/jre/lib/rt.jar
# jdk_classes=/usr/local/linux-sun-jdk1.4.1/jre/lib/rt.jar
jdk_classes=$java_home/jre/lib/rt.jar

# Now run

# jjj=/local/src/jikes/build/src/jikes

env CLASSPATH=$cpath:$CLASSPATH \
	jikes -source 1.5 -bootclasspath $jdk_classes "$@"
