-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathbuild.xml
More file actions
65 lines (56 loc) · 2.24 KB
/
Copy pathbuild.xml
File metadata and controls
65 lines (56 loc) · 2.24 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<project basedir="." default="build" name="dynamite">
<property file="ant.settings"/>
<property name="target" value="1.8"/>
<property name="source" value="1.8"/>
<property name="classes.dir" value="classes"/>
<property name="src.dir" value="src"/>
<property name="test.dir" value="test"/>
<path id="build.classpath">
<pathelement location="lib/antlr-4.7.1-complete.jar"/>
<pathelement location="lib/gson-2.8.5.jar"/>
<pathelement location="lib/z3-4.8.5.jar"/>
<pathelement location="lib/mongodb-driver-sync-3.10.2.jar" />
<pathelement location="lib/mongodb-driver-core-3.10.2.jar" />
<pathelement location="lib/bson-3.10.2.jar" />
</path>
<target name="clean">
<delete dir="${classes.dir}"/>
</target>
<target name="build">
<mkdir dir="${classes.dir}"/>
<echo message="${ant.project.name}: ${ant.file}"/>
<javac debug="false" srcdir="${src.dir}" destdir="${classes.dir}" includeantruntime="false" source="${source}" target="${target}">
<classpath refid="build.classpath"/>
</javac>
</target>
<target name="jar" depends="build">
<jar destfile="dynamite.jar">
<fileset dir="classes"/>
</jar>
</target>
<path id="test.classpath">
<path refid="build.classpath"/>
<pathelement location="lib/junit-4.12.jar"/>
<pathelement location="lib/hamcrest-core-1.3.jar"/>
</path>
<target name="test-build" depends="build">
<javac srcdir="${test.dir}" destdir="${classes.dir}" includeantruntime="false" source="${source}" target="${target}">
<classpath refid="test.classpath"/>
</javac>
</target>
<target name="test" depends="test-build">
<junit printsummary="on" haltonfailure="yes" fork="true">
<jvmarg value="-ea"/>
<jvmarg value="-Xmx32g"/>
<classpath>
<path refid="test.classpath"/>
<pathelement location="${classes.dir}"/>
</classpath>
<formatter type="brief" usefile="false"/>
<batchtest>
<fileset dir="${test.dir}" includes="**/*Test.java" />
</batchtest>
</junit>
</target>
</project>