<project name="Warmup" default="all" basedir=".">

	<property name="setup.name" value="test-setup.zip"/>
	<property name="submission.name" value="submission.zip"/>


	<target name="all" depends="submission,test,test.setup"/>
	<target name="clean" description="Delete all generated files">
		<delete dir="bin"/>
		<mkdir dir="bin"/>
		<delete file="submission.zip"/>
		<delete file="test-setup.zip"/>
		</target>
	<target name="compile" description="compile the java source files">
		<mkdir dir="bin"/>
		<javac
                        destdir="bin"
                        srcdir="src"
                        includeantruntime="true"
                        deprecation="off"
                        debug="on"/>
	</target>
	<target name="test.setup" depends="compile" description="create the test setup file for Marmoset">
		<delete file="${setup.name}"/>
		<mkdir dir="bin"/>

		<zip destfile="${setup.name}">
			<fileset dir="bin"
				includes="PublicTests.class,ReleaseTests.class"
				/>
			<fileset dir="." includes="test.properties"/>
		</zip>
	</target>
	<target name="test" depends="compile" description="run the junit tests">
		<junit>
			<classpath>
				<pathelement path="bin"/>
			</classpath>
			<formatter type="brief" usefile="false" />
			<test name="PublicTests"/>
			<test name="StudentTests"/>
			<test name="ReleaseTests"/>
		</junit>

	</target>

	<target name="submission" description="build a zip file containing the submission">
		<delete file="${submission.name}"/>
		<zip destfile="${submission.name}">
			<fileset dir="." includes=".submit,.submitUser,.submitDisplay,src/**"/>
		</zip>
	</target>

</project>
