diff options
Diffstat (limited to 'test/java/build.xml')
-rw-r--r-- | test/java/build.xml | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/test/java/build.xml b/test/java/build.xml deleted file mode 100644 index d8973cedc..000000000 --- a/test/java/build.xml +++ /dev/null @@ -1,31 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<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> - - <path id="testpath"> - <path refid="classpath" /> - <pathelement location="${class-dir}" /> - </path> - - <dirset id="lib-dirs" dir="../.." includes="builds/**/*/src/bindings/java/.libs" /> - <pathconvert property="lib-path" refid="lib-dirs" /> - - <target name="compile"> - <mkdir dir="${class-dir}" /> - <javac srcdir="." destdir="${class-dir}" classpathref="classpath" includeantruntime="false" /> - </target> - - <target name="test" depends="compile"> - <junit printsummary="withOutAndErr" haltonfailure="yes" fork="yes"> - <jvmarg value='-Djava.library.path=${lib-path}'/> - <classpath refid="testpath" /> - <batchtest> - <fileset dir="${class-dir}" includes="**/*.class"/> - </batchtest> - </junit> - </target> -</project> |