use newer version of ANT
@@ -10,9 +10,9 @@ env:
global:
- GH_REF: github.com/sosy-lab/java-smt.git
before_install: # lets update the very old version of ANT in TravisCI
- - wget --no-check-certificate https://www.apache.org/dist/ant/binaries/apache-ant-1.9.13-bin.tar.bz2
- - tar -xvf apache-ant-1.9.13-bin.tar.bz2
- - export PATH=`pwd`/apache-ant-1.9.13/bin:$PATH
+ - wget --no-check-certificate https://www.apache.org/dist/ant/binaries/apache-ant-1.10.5-bin.tar.bz2
+ - tar -xvf apache-ant-1.10.5-bin.tar.bz2
+ - export PATH=`pwd`/apache-ant-1.10.5/bin:$PATH
- echo $(ant -version)
install:
- ant resolve-dependencies
