update ANT in TravisCI.
TravisCI uses ANT 1.9.3 fApache Ant(TM) version 1.9.3 compiled on 08-04-2014.
With this old version the JavaDoc-build would never succeed.
@@ -9,6 +9,11 @@ addons:
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
+ - echo $(ant -version)
install:
- ant resolve-dependencies
matrix:
