if [ "$JAVA_HOME" = "NULL" ]
then
echo
echo "The enviroment variable JAVA_HOME must be set the current jdk distribution"
echo "installed on your computer."
echo "Use "
echo "    export JAVA_HOME=<the directory where the JDK is located>"
exit 127
fi


currentDir=`dirname $0`
proactiveDir=../../../../../../..

#build file for Unix system
$JAVA_HOME/bin/java -classpath $JAVA_HOME/lib/tools.jar:$proactiveDir/compile/ant-launcher.jar:$proactiveDir/compile/ant.jar: -Djava.security.policy=$proactiveDir/dist/proactive.java.policy org.apache.tools.ant.Main -emacs -buildfile $currentDir/build.xml $@

#$JAVA_HOME/bin/java -classpath $JAVA_HOME/lib/tools.jar:$currentDir/ant.jar:$currentDir/ant-launcher.jar:$currentDir/xercesImpl.jar:$currentDir/xml-apis.jar:$CLASSPATH org.apache.tools.ant.Main -emacs -buildfile $currentDir/proactive.xml $@
