build.xml

<project default="all">
  <target name="clean">
    <delete>
      <fileset dir="edu" includes="**/*.class"/>
      <fileset dir="java" includes="**/*.class"/>
      <fileset dir="java_cup" includes="**/*.class"/>
    </delete>
    <delete dir="dist"/>
  </target>
  
  <path id="src.path">
    <pathelement location="edu" />
    <pathelement location="java" />
    <pathelement location="java_cup" />
  </path>

  <target name="build">
    <javac debug="true" includeAntRuntime="false" classpath=".">
      <src refid="src.path" />
    </javac>
  </target>

  <target name="dist" depends="build">
    <mkdir dir="dist"/>
    <jar destfile="dist/alloy4.2.jar" basedir="." excludes="dist/** build/**" manifest="META-INF/MANIFEST.MF"/>
  </target>

  <target name="all" depends="dist"/>
</project>