diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2017-08-28 22:31:50 -0700 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2017-08-28 22:31:50 -0700 |
commit | 49340c05764561da0a540d44cfa6092e1af2cc79 (patch) | |
tree | 83ab022c5df70c05760731e29c72d1c38dd4bfae | |
parent | f0f5186c7f95776663771e98a4449d3f0fa25b0e (diff) |
fix java testsfix_java_tests
-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> |