#! /bin/sh # # $Id: build.sh,v 1.4 2001/11/06 10:53:17 sander Exp $ # if [ -f $HOME/.antrc ] ; then . $HOME/.antrc fi # # ensure to use the ant version bundled with Contelligent # ANT_HOME=`dirname "$PRG"`/.. # Allow .antrc to specifiy flags to java cmd if [ "$JAVACMD" = "" ] ; then JAVACMD=java fi #LOCALCLASSPATH=`echo $ANT_HOME/lib/extern/*.jar | tr ' ' ':'` LOCALCLASSPATH="$ANT_HOME/lib/extern/ant.jar:$ANT_HOME/lib/extern/jakarta-ant-optional.jar" if [ "$CLASSPATH" != "" ] ; then LOCALCLASSPATH=$CLASSPATH:$LOCALCLASSPATH fi if [ "$JAVA_HOME" = "" ]; then TMP=`which java` JAVA_HOME=`dirname $TMP`/.. export JAVA_HOME fi if [ "$JAVA_HOME" != "" ] ; then if test -f $JAVA_HOME/lib/tools.jar ; then LOCALCLASSPATH=$LOCALCLASSPATH:$JAVA_HOME/lib/tools.jar fi if test -f $JAVA_HOME/lib/classes.zip ; then LOCALCLASSPATH=$LOCALCLASSPATH:$JAVA_HOME/lib/classes.zip fi else echo "Warning: JAVA_HOME environment variable is not set." echo " If build fails because sun.* classes could not be found" echo " you will need to set the JAVA_HOME environment variable" echo " to the installation directory of java." fi # supply JIKESPATH to Ant as jikes.class.path if [ "$JIKESPATH" != "" ] ; then if [ "$ANT_OPTS" != "" ] ; then ANT_OPTS="$ANT_OPTS -Djikes.class.path=$JIKESPATH" else ANT_OPTS=-Djikes.class.path=$JIKESPATH fi fi $JAVACMD -classpath $LOCALCLASSPATH -Dant.home=${ANT_HOME} $ANT_OPTS org.apache.tools.ant.Main -buildfile ../build.xml $@