<project name="Compiler" default="jar" basedir=".">
	<property name="version" value="1.1"/>
	<property name="lexer1" location="src/edu/pitt/math/jhol/core/parser" />
	<property name="lexer2" location="src/edu/pitt/math/jhol/ssreflect/parser" />
	<property name="src" location="src" />
	<property name="lib" location="JHOL.app/Contents/Resources/Java/lib" />
	<property name="tools" location="tools" />
	<property name = "class" location = "JHOL.app/Contents/Resources/Java/bin" />
	<property name = "dist" location = "release" />
	<property environment="env" />

	<!-- Here compile time tools -->
	<path id="binaries">
		<pathelement location="${tools}" />
		<fileset dir="${tools}">
			<include name="**/*.jar" />
			<include name="**/*.zip" />
		</fileset>
		<pathelement path="${java.class.path}" />
	</path>

	<!-- Here, the runtime libraries are stored -->
	<path id="libraries">
		<pathelement location="${lib}" />
		<fileset dir="${lib}">
			<include name="**/*.jar" />
			<include name="**/*.zip" />
		</fileset>
		<pathelement path="${java.class.path}" />
	</path>

	<!-- Use JFlex -->
	<taskdef name="jflex" classname="JFlex.anttask.JFlexTask" classpath="${tools}/JFlex.jar" />

	<target name="init">
		<mkdir dir="${dist}"/>
		<mkdir dir="${class}"/>
	</target>


	<target name="jflex" depends="init">
		<jflex file="${lexer1}/Lexer.flex" destdir="${src}" />
		<jflex file="${lexer2}/Lexer.flex" destdir="${src}" />
	</target>
	
    
	<!-- Target: compile -->
     <target name="compile" depends="init" description="Compiles java source files">
             <javac destdir="${class}" srcdir="${src}"  target="1.5"  includeantruntime="false" debug="on" debuglevel="lines,vars,source">
                     <classpath refid="libraries"/>
             	
             </javac>
     </target>


	<target depends="compile" name="jar">
		<jar basedir="${class}" jarfile="${dist}/jHOLLib.jar">
			<include name="**/*.class" />
			<manifest>
			</manifest>
		</jar>

		<copy todir="${dist}/lib">
			<fileset dir="${lib}"/>
		</copy>
	</target>
	
	
	<target depends="compile" name="ssreflect-jar">
		<jar basedir="${class}" jarfile="${dist}/jHOL-SSReflect.jar">
			<include name = "**/*.class"/>
			<manifest>
				<attribute name="Main-Class" value="edu.pitt.math.jhol.ssreflect.gui.TestSSReflectGUI"/>
			</manifest>
		</jar>
	</target>
	
	
	<target name="ssreflect-dist" depends="ssreflect-jar">
			<zip destfile="${dist}/HOL-SSReflect_v${version}.zip">
				<!-- The main jar file and gui.xml -->
				<zipfileset dir="${dist}" prefix="">
					<include name="*.jar"/>
					<include name="gui.xml"/>
				</zipfileset>
				
				<!-- Caml files -->
				<zipfileset dir="caml" prefix="caml">
					<include name="*.hl"/>
				</zipfileset>
				
				<!-- Examples -->
				<zipfileset dir="Examples" prefix="Examples">
					<include name="*.hl"/>
					<include name="*.vhl"/>
				</zipfileset>
				
				<!-- Source code -->
				<zipfileset dir="${src}" prefix="src">
					<include name = "**/*.java"/>
					<include name = "**/*.flex"/>
				</zipfileset>
			</zip>
	</target>
	


	<target name="clean">
		<delete dir="${class}/edu" />
<!--
		<delete dir="${classes}" />
		<delete dir="${dist}" />
-->
	</target>
</project>