#!/bin/sh

ANT_HOME=/usr/lib/apache-ant
ANT_LIBS=/usr/lib/apache-xml/*:$ANT_HOME/ant-launcher-1.7.1.jar
ANT_CLASS=org.apache.tools.ant.launch.Launcher

if [ "x$http_proxy" != 'x' ]; then
    host=`echo $http_proxy | sed -r 's/^(.*):[0-9]+$/\1/'`
    port=`echo $http_proxy | sed -r 's/^.*:([0-9]+)$/\1/'`
    ANT_OPTS="-Dhttp.proxyHost=$host -Dhttp.proxyPort=$port"
fi

java -cp $ANT_LIBS \
  $ANT_OPTS \
  -Dant.home="$ANT_HOME" \
  -Dant.library.dir="$ANT_HOME" \
  $ANT_CLASS $@