Way1: In a target of a build.xml script
<setproxy proxyhost="xxx" proxyport="80xx"/>
Way2:
export ANT_OPTS="-Dhttp.proxyHost=xxx -Dhttp.proxyPort=xx"
Way1: In a target of a build.xml script
<setproxy proxyhost="xxx" proxyport="80xx"/>