build-gen.xml

<project name="org.eventb.core.ast" default="unifier" basedir=".">
	<description>
        Generates derived files in the Event-B AST library.
	</description>

	<!-- Global properties for this build -->
	<property name="src" location="src" />

	<property name="javadoc" location="javadoc" />
	
	<property name="unifier.src" location="${src}/org/eventb/internal/core/typecheck" />

	<property name="org.eventb.core.ast.home" location="." />
	<import file="${org.eventb.core.ast.home}/tom/tom-task.xml"/>

	<target name="unifier"
			description="Generate the type unifier using Tom">
		<tom config="${tom.home}/Tom.xml"
				classpathref="tom.classpath"
				srcdir="${src}"
				destdir="${src}"
				options="-I ${org.eventb.core.ast.home}/tom"
				pretty="true"
				optimize="true">
			<include name="**/*.t" />
		</tom>
	</target>

	<target name="clean"
			description="Clean up generated files">
		<delete dir="${javadoc}" />
		<delete file="${unifier.src}/TypeUnifier.java" />
	</target>
	
	<target name="javadoc" description="Generates the javadoc of the published API">
		<javadoc 
			access="public" 
			author="true" 
			classpath="." 
			destdir="javadoc" 
			doctitle="The event-B AST library" 
			nodeprecated="false" 
			nodeprecatedlist="false" 
			noindex="false" 
			nonavbar="false" 
			notree="false" 
			packagenames="org.eventb.core.ast" 
			source="1.5" 
			sourcepath="src" 
			splitindex="true" 
			use="true" 
			version="true"/>
	</target>

</project>