source: local/greenstone3/linux-android-ndk-cross/gs3-setup.bash@ 26780

#-- Java --

if [ "x$JAVA_HOME" = "x" ] ; then

  #export JAVA_HOME=/data/java/jdk1.6.0_21
  export JAVA_HOME=/research/local/jdk-64bit-1.7

  export PATH=$JAVA_HOME/bin:$PATH

  echo "+ Setting JAVA_HOME to"
  echo "+   $JAVA_HOME"
  echo "+ and updating PATH accordingly"
else
  if [ ! -d $JAVA_HOME ] ; then
   echo "Warning: JAVA_HOME already set, but the directory:"
    echo "    $JAVA_HOME"
    echo "Cannot be found"
    echo "====="
    sleep 5
  fi
fi


#-- Ant --

if [ "x$ANT_HOME" = "x" ] ; then

  export ANT_HOME=`pwd`/apache-ant-1.8.1
  export PATH=$ANT_HOME/bin:$PATH

  echo "+ Setting ANT_HOME to:"
  echo "+   $ANT_HOME"
  echo "+ and updating PATH accordingly"
fi