#!/bin/sh
# $Id: build.sh,v 1.10 2000/07/26 19:42:09 aslom Exp $


#JAVA_HOME=/usr/java1.2

if [ -z "$JAVA_HOME" ] ; then
  JAVA=`which java`
  if [ -z "$JAVA" ] ; then
    echo "Cannot find JAVA. Please set your PATH."
    exit 1
  fi
  JAVA_BIN=`dirname $JAVA`
  JAVA_HOME=$JAVA_BIN/..
fi

JAVA=$JAVA_HOME/bin/java
#echo "JAVA= $JAVA"

CLASSPATH=.

JIKES_DIR=/l/extreme/bin
if [ -x "$JIKES_DIR/jikes" ] ; then
  PATH=$JIKES_DIR:$PATH
  export PATH   
  # -Dbuild.compiler.emacs=true
  OPTS=-Dbuild.compiler=jikes 
  CLASSPATH=$CLASSPATH:$JAVA_HOME/jre/lib/rt.jar
  echo "Jikes enabled" 
fi

CLASSPATH=`echo lib/*.jar | tr ' ' ':'`:$CLASSPATH
CLASSPATH=$JAVA_HOME/lib/tools.jar:$CLASSPATH

CMD="$JAVA $OPTS -classpath $CLASSPATH -Dant.home=lib org.apache.tools.ant.Main $@ -buildfile src/build.xml"
echo $CMD
$CMD