diff options
| -rw-r--r-- | .travis.yml | 1 | ||||
| -rw-r--r-- | test/java/build.xml | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index bf134e039..7ad6c0552 100644 --- a/.travis.yml +++ b/.travis.yml @@ -68,6 +68,7 @@ script: } JavaApiTest() { pushd test/java + mkdir local-lib && cd local-lib && wget http://search.maven.org/remotecontent?filepath=junit/junit/4.12/junit-4.12.jar -O junit-4.12.jar && cd .. local status=0 ant || status=1 popd diff --git a/test/java/build.xml b/test/java/build.xml index b3243d56e..d8973cedc 100644 --- a/test/java/build.xml +++ b/test/java/build.xml @@ -2,6 +2,7 @@ <project name="CVC4" default="test" basedir="."> <property name="class-dir" value="classes" /> <path id="classpath"> + <fileset dir="local-lib" includes="**/*.jar" /> <fileset dir="../../builds" includes="**/*.jar" /> </path> |