build.xml

<project name="T3">

	<property name="build" value="../build/t3" />
	<property name="tests" value="test" />
	<property name="libs" value="libs" />
	
	<property name="RELEASEname" value="T3" />
	
	<property name="dist" value="${build}/dist" />

	<target name="init">
        <mkdir dir="${build}/classes" />
		<mkdir dir="${build}/docs" />
		<mkdir dir="${build}/docs/javadocs" />
	</target>
    
	<target name="compile" depends="init" description="Compile the source of T3 tools.">
		<echo>Compiling T3 tools... </echo>
		<javac srcdir="./src" 
		    compiler="javac1.8"
			debug="on" 
			destdir="${build}/classes" 
			source="1.8" 
			target="1.8">
		  <compilerarg value="-Xlint"/>
          <classpath>
              <fileset dir="${libs}">
                <include name="**/*.jar"/>
              </fileset>
          </classpath>
		</javac>
	</target>
    
    <target name="jar" depends="compile" description="Jarring all T3 classes.">
        <echo>Copying licenses... </echo>
		<copy file="license.txt" todir="${build}/T3/classes"/>
		<copy file="gpl_license.txt" todir="${build}/T3/classes"/>
		<echo>Jarring all T3 classes... </echo>
		<jar basedir="${build}/classes" destfile="${build}/${RELEASEname}.jar" > 
		     <zipfileset src="${libs}/cli/commons-cli-1.2.jar"   includes="**/*.class"/>
             <zipfileset src="${libs}/asm/asm-5.0.4.jar"   includes="**/*.class"/>
             <zipfileset src="${libs}/asm/asm-commons-5.0.4.jar"   includes="**/*.class"/>
             <zipfileset src="${libs}/asm/asm-tree-5.0.4.jar"   includes="**/*.class"/>
             <zipfileset src="${libs}/jacoco/org.jacoco.core-0.7.5.201505241946.jar"   includes="**/*.class"/>
             <zipfileset src="${libs}/jacoco/org.jacoco.report-0.7.5.201505241946.jar"   includes="**/*.class"/> 			
		</jar>
	</target>

	<target name="javadocs" depends="compile" description="Generating javadocs.">
		<echo>Generating javadocs... </echo>
		<javadoc2 sourcepath="./src" destdir="${build}/docs/javadocs" 
			author="true" 
			version="true" 
			classpath="${build}/classes"
		/>
	</target>
	
	<property name="VERSION" value="${RELEASEname}"/>

	<!-- for packing a distribution zip -->
	<target name="dist" depends="jar,javadocs">
		<delete dir="${dist}"/>
		<mkdir dir="${dist}" />
		<copy file="license.txt" todir="${dist}"/>
		<copy file="gpl_license.txt" todir="${dist}"/>
		<copy file="${build}/${RELEASEname}.jar" todir="${dist}"/>
        <mkdir dir="${dist}/docs" />
        <copy todir="${dist}/docs">
		    <fileset dir="${build}/docs"/>
			<fileset dir="./docs"/>
	    </copy>
		<zip basedir="${dist}" destfile="${build}/${VERSION}_dist.zip" />
	</target>
			
    <!-- for jarring T3 and support tools for SBST unit testing tool competition -->        
    <target name="jarT3SBST" depends="jar" description="Jarring all T3 classes.">
		<jar destfile="${build}/T3G2_SBST2016.jar" > 
		     <zipfileset src="${build}/${RELEASEname}.jar"   includes="**/*.class"/>
		     <zipfileset src="${build}/../t3static/T3static_v0.jar"   includes="**/*.class"/>
		     <zipfileset src="${build}/../t3tools/CPscanner.jar"   includes="**/*.class"/>
		</jar>
	</target>        
            
	<target name="clean" description="Cleaning.">
		<echo>Cleaning... </echo>
		<delete dir="${build}" />
	</target>

</project>