source: CIVL/build.xml@ dfb0fef

1.23 2.0 main test-branch
Last change on this file since dfb0fef was cf6afad, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

added images folder for CIVL gui.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@1355 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 6.7 KB
Line 
1<!--
2 build.xml : Ant build file for CIVL
3 Author: Stephen F. Siegel, University of Delaware
4 Last modified:
5
6 The following can be defined on command line with -Dprop=val:
7 revision. This is for the use of our SVN commit hook, which
8 runs the test suite and performs other tasks every time a commit
9 is made. The SVN revision number is just used here to insert
10 into reports.
11-->
12
13<project name="CIVL" basedir="." default="jar" xmlns:jacoco="antlib:org.jacoco.ant">
14
15 <!-- Directories -->
16
17 <condition property="properties.file" value="build.properties" else="build_default.properties">
18 <available file="build.properties" />
19 </condition>
20 <property file="${properties.file}" />
21 <property file="build.properties" />
22 <property name="src.dir" value="${basedir}/src" />
23 <property name="bin.dir" value="${basedir}/bin" />
24 <property name="javadoc.dir" value="${basedir}/doc/javadoc" />
25 <property name="jar-name" value="civl.jar" />
26 <property name="jar-path" value="${basedir}/${jar-name}" />
27 <property name="main-class" value="edu.udel.cis.vsl.civl.CIVL" />
28
29 <!-- Junit and JaCoCo Coverage -->
30
31 <property name="test.src.dir" location="${basedir}/test" />
32 <property name="test.bin.dir" location="${basedir}/bin-test" />
33 <property name="junit.dir" location="${basedir}/junit" />
34 <property name="junit.data.dir" location="${junit.dir}/data" />
35 <property name="junit.reports.dir" location="${junit.dir}/reports" />
36 <property name="coverage.dir" location="${basedir}/coverage" />
37 <taskdef uri="antlib:org.jacoco.ant" resource="org/jacoco/ant/antlib.xml">
38 <classpath path="${jacoco.jar}" />
39 </taskdef>
40
41 <!-- Benchmark -->
42
43 <property name="bench.src.dir" location="${basedir}/bench" />
44
45 <!-- Source compilation and JAR construction -->
46
47 <path id="src.compile.classpath">
48 <pathelement location="${src.dir}" />
49 <pathelement location="${sarl.jar}" />
50 <pathelement location="${gmc.jar}" />
51 <pathelement location="${abc.jar}" />
52 </path>
53
54 <target name="compile" description="Compile all java source files.">
55 <mkdir dir="${bin.dir}" />
56 <javac debug="true" srcdir="${src.dir}" destdir="${bin.dir}" includes="edu/udel/cis/vsl/civl/**" classpathref="src.compile.classpath" encoding="UTF-8" includeantruntime="false">
57 </javac>
58 </target>
59
60 <target name="jar" depends="compile" description="Jar up all class files.">
61 <jar destfile="${jar-path}">
62 <fileset dir="${bin.dir}" />
63 <zipfileset includes="**/*.class" src="${abc.jar}" />
64 <zipfileset includes="**/*.h" src="${abc.jar}" />
65 <zipfileset includes="**/*.cvh" src="${abc.jar}" />
66 <zipfileset includes="**/*.class" src="${gmc.jar}" />
67 <zipfileset includes="**/*.class" src="${sarl.jar}" />
68 <fileset dir="${basedir}/images" />
69 <fileset dir="${basedir}/text/include" />
70 <fileset dir="${basedir}/lib" />
71 <manifest>
72 <attribute name="Built-By" value="${user.name}" />
73 <attribute name="Main-Class" value="${main-class}" />
74 </manifest>
75 </jar>
76 </target>
77
78 <!-- Plain JUnit tests -->
79
80 <path id="test.compile.classpath">
81 <pathelement location="${test.src.dir}" />
82 <pathelement location="${bin.dir}" />
83 <pathelement location="${junit.jar}" />
84 <pathelement location="${hamcrest.jar}" />
85 <pathelement location="${sarl.jar}" />
86 <pathelement location="${gmc.jar}" />
87 <pathelement location="${abc.jar}" />
88 </path>
89
90 <path id="test.execute.classpath">
91 <pathelement location="${test.bin.dir}" />
92 <pathelement location="${bin.dir}" />
93 <pathelement location="${junit.jar}" />
94 <pathelement location="${hamcrest.jar}" />
95 <pathelement location="${sarl.jar}" />
96 <pathelement location="${gmc.jar}" />
97 <pathelement location="${abc.jar}" />
98 <pathelement location="${basedir}/text/include" />
99 </path>
100
101 <target name="test-init">
102 <delete dir="${junit.dir}" quiet="true" />
103 <delete dir="${test.bin.dir}" quiet="true" />
104 <mkdir dir="${junit.dir}" />
105 <mkdir dir="${junit.data.dir}" />
106 <mkdir dir="${junit.reports.dir}" />
107 <mkdir dir="${test.bin.dir}" />
108 </target>
109
110 <target name="test-compile" depends="compile,test-init">
111 <javac destdir="${test.bin.dir}" debug="true" failonerror="false" classpathref="test.compile.classpath" encoding="UTF-8" includeantruntime="true">
112 <src path="${test.src.dir}" />
113 </javac>
114 </target>
115
116 <target name="test-run" depends="test-compile">
117 <jacoco:coverage>
118 <junit fork="true" forkmode="once" timeout="300000">
119 <jvmarg value="-ea" />
120 <classpath refid="test.execute.classpath" />
121 <formatter type="brief" usefile="false" />
122 <formatter type="xml" />
123 <batchtest todir="${junit.data.dir}">
124 <fileset dir="${test.bin.dir}" includes="**/*Test.class" />
125 </batchtest>
126 </junit>
127 </jacoco:coverage>
128 <junitreport todir="${junit.data.dir}">
129 <fileset dir="${junit.data.dir}">
130 <include name="TEST-*.xml" />
131 </fileset>
132 <report format="frames" todir="${junit.reports.dir}">
133 <param name="TITLE" expression="JUnit Report for CIVL ${revision}" />
134 </report>
135 </junitreport>
136 </target>
137
138 <target name="test" depends="test-run">
139 <jacoco:report>
140 <executiondata>
141 <file file="jacoco.exec" />
142 </executiondata>
143 <structure name="Test Coverage Report for CIVL ${revision}">
144 <classfiles>
145 <fileset dir="${bin.dir}" />
146 </classfiles>
147 <sourcefiles encoding="UTF-8">
148 <fileset dir="${src.dir}" />
149 </sourcefiles>
150 </structure>
151 <html destdir="coverage" />
152 </jacoco:report>
153 </target>
154
155 <!-- Benchmark Tasks -->
156
157 <target name="bench-compile" depends="jar" description="Compile benchmark java source files.">
158 <mkdir dir="${bin.dir}" />
159 <javac debug="true" srcdir="${bench.src.dir}" destdir="${bin.dir}" includes="edu/udel/cis/vsl/civl/**/*Benchmark.java" classpathref="src.compile.classpath" encoding="UTF-8" includeantruntime="false">
160 </javac>
161 </target>
162
163 <!-- Javadoc Tasks -->
164
165 <target name="javadoc">
166 <delete dir="${javadoc.dir}" quiet="true" />
167 <mkdir dir="${javadoc.dir}" />
168 <javadoc destdir="${javadoc.dir}" Overview="src/overview.html" author="false" version="true" use="true" windowtitle="API for CIVL ${revision}" access="public" classpathref="test.execute.classpath" failonerror="false">
169 <packageset dir="${src.dir}" defaultexcludes="yes">
170 <include name="**/IF" />
171 <include name="**/IF/**" />
172 <include name="edu/udel/cis/vsl/civl" />
173 </packageset>
174 </javadoc>
175 </target>
176
177 <!-- Clean -->
178
179 <target name="clean" description="Delete all generated files.">
180 <delete dir="${bin.dir}" />
181 <delete dir="${test.bin.dir}" />
182 <delete dir="${junit.dir}" />
183 <delete dir="${javadoc.dir}" />
184 <delete dir="${coverage.dir}" />
185 <delete file="${jar-path}" />
186 <delete file="${basedir}/jacoco.exec" />
187 <delete file="${manifest-file}" />
188 </target>
189
190 <!-- Do everything -->
191
192 <target name="all" depends="jar,test,javadoc,bench-compile" />
193
194</project>
Note: See TracBrowser for help on using the repository browser.