<?xml version="1.0" encoding="ISO-8859-1"?>
<!-- $Id: fastCloverBuild.xml,v 1.2 2008/08/02 04:30:57 m31 Exp $ -->
<!-- $RCSfile: fastCloverBuild.xml,v $ -->
<!-- $Revision: 1.2 $ -->
<!-- author: mime -->
<!-- project: Hilbert II -->

<!-- This is the Ant build file for building the Se release of project Hilbert II -->
<project name="fastBuild" default="all" basedir="../..">
    <description>
        Developer build for Hilbert II without clover, pdf generation and maven execution.   
    </description>

    <import file="releaseBuild.xml" />
    <import file="fastMacros.xml" />

    <target name="clean">
        <delete dir="${qedeq.dest.module}" failonerror="false" />
        <mkdir dir="${qedeq.dest.module}" />
        <delete dir="${qedeq.dist}" failonerror="false"/>
        <mkdir dir="${qedeq.dist}" />
        <delete dir="${qedeq.temp}" failonerror="false" />
        <mkdir dir="${qedeq.temp}"/>
        <clean name="QedeqBase"      dir="${qedeq.dest.module}/QedeqBase" />
        <clean name="QedeqKernelSe"  dir="${qedeq.dest.module}/QedeqKernelSe" />
        <clean name="QedeqKernelBo"  dir="${qedeq.dest.module}/QedeqKernelBo" />
        <clean name="QedeqKernelXml" dir="${qedeq.dest.module}/QedeqKernelXml" />
        <clean name="qedeq_kernel"   dir="${qedeq.dest.module}/qedeq_kernel" />
        <clean name="qedeq_kernel"   dir="${qedeq.dest.module}/qedeq_gui_se" />
    </target>

    <target name="test" description="run all tests" depends="testCompile">
        
        <moveSlowTestsAway/>

        <cloverTest  name="QedeqBase"      dir="${qedeq.dest.module}/QedeqBase"      classpath="classpath.common"/>
        <cloverTest  name="QedeqKernelSe"  dir="${qedeq.dest.module}/QedeqKernelSe"  classpath="classpath.common"/>
        <cloverTest  name="QedeqKernelBo"  dir="${qedeq.dest.module}/QedeqKernelBo"  classpath="classpath.common"/>
        <cloverTest  name="QedeqKernelXml" dir="${qedeq.dest.module}/QedeqKernelXml" classpath="classpath.common"/>
        <cloverTest  name="qedeq_kernel"   dir="${qedeq.dest.module}/qedeq_kernel"   classpath="classpath.aggregate"/>

        <putSlowTestsBack/>
    </target>
 
    <target name="makePdfs" description="create PDF files out of certain *.tex test results" depends="test">
        <!-- fake creation by GenerateLatexText -->
        <mkdir dir="${qedeq.dest.module}/QedeqKernelBo/target/test-outdir/doc" />
    </target>
 
    <target name="release" depends="assemble">
       <!-- don't do anything because we want to be fast.. -->   
    </target>
        
    <target name="maven" depends="release">
       <!-- don't do anything because we want to be fast.. -->   
    </target>
        
</project>


