make.sh

   1 #!/bin/bash
   2 set -e
   3 cd -- "$(dirname "${BASH_SOURCE[0]}")"
   4
   5 if [ -z "${JAVA_HOME}" ]; then
   6         echo "Error: Environment variable JAVA_HOME is not set!"
   7         exit 1
   8 fi
   9
  10 if [ ! -d "${JAVA_HOME}" ]; then
  11         echo "Error: Directory JAVA_HOME='${JAVA_HOME}' not found!"
  12         exit 1
  13 fi
  14
  15 export PATH="${JAVA_HOME}/bin:${PATH}"
  16
  17 if ! which java >/dev/null; then
  18         echo "Error: Required command 'java' not found!"
  19         exit 1
  20 fi
  21
  22 if ! which ant >/dev/null; then
  23         echo "Error: Required command 'ant' not found!"
  24         exit 1
  25 fi
  26
  27 unset CLASSPATH
  28
  29 ant "$@"