<?xml version="1.0" encoding="ISO-8859-1"?>
<!-- author: Michael Meyling -->
<!-- project: Hilbert II -->

<!-- This is the Ant build file for building the Se release of project Hilbert II -->
<project name="fastReleaseBuild" default="all" basedir="../..">
    <description>
        Release build for Hilbert II without pdf generation and slow tests.   
    </description>

    <!-- test no slow methods -->
    <property name="qedeq.test.fast"       value="true" />

    <import file="releaseBuild.xml" />

<!-- 20101228 m31: testing why we can't take the original
    <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="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>
 
</project>


