build.xml

<project name="wystd" default="build">

  <!-- ================================================================== -->
  <!-- Configuration -->
  <!-- ================================================================== -->
  <import file="config.xml"/>

  <!-- ================================================================== -->
  <!-- Setup -->
  <!-- ================================================================== -->

  <target name="setup">
    <mkdir dir="${BIN_DIR}"/>
    <mkdir dir="${WYIL_DIR}"/>
    <mkdir dir="${WYAL_DIR}"/>
    <mkdir dir="${CLASS_DIR}"/>
    <mkdir dir="${JS_DIR}"/>
  </target>

  <!-- ================================================================== -->
  <!-- Build WyIL -->
  <!-- ================================================================== -->

  <target name="compile-wyil" depends="setup">
    <wyc whileydir="${WHILEY_DIR}" verbose="true"
	 wyildir="${WYIL_DIR}" wyaldir="${WYAL_DIR}" verify="${wyc.verification}" vcg="${wyc.vcg}"/>
  </target>

  <!-- ================================================================== -->
  <!-- Build JVM -->
  <!-- ================================================================== -->

  <target name="compile-jvm" depends="compile-wyil">
    <wyjc whileydir="${WHILEY_DIR}" verbose="true"
	  wyildir="${WYIL_DIR}" classdir="${CLASS_DIR}"/>
    <javac includeantruntime="false" srcdir="${JAVA_DIR}" 
	   destdir="${CLASS_DIR}" includes="**/*.java">
      <classpath>
	<path refid="wyjc.jar"/>
      </classpath>
    </javac>
  </target>

  <!-- ================================================================== -->
  <!-- Build JS -->
  <!-- ================================================================== -->

  <target name="compile-js" depends="compile-wyil">
    <wyjs whileydir="${WHILEY_DIR}" verbose="true"
	  wyildir="${WYIL_DIR}" jsdir="${JS_DIR}"/>
  </target>

  <!-- ================================================================== -->
  <!-- Build -->
  <!-- ================================================================== -->

  <target name="build" depends="compile-wyil">
    <jar destfile="${LIB_DIR}/wystd-v${version}.jar">
      <fileset dir="${WYIL_DIR}" includes="*/**/*.wyil"/>
      <fileset dir="${WYAL_DIR}" includes="*/**/*.wyal"/>
      <fileset dir="${CLASS_DIR}" includes="*/**/*.class"/>
    </jar>
    <echo message="============================================="/>
    <echo message="BUILT: lib/${ant.project.name}-v${version}.jar"/>
    <echo message="============================================="/>
  </target>

  <!-- ================================================================== -->
  <!-- Deploy Plugin -->
  <!-- ================================================================== -->

  <target name="plugin" depends="build">
    <copy file="${LIB_DIR}/wystd-v${version}.jar" todir="${WHILEYHOME}/lib"/>
  </target>

  <!-- ================================================================== -->
  <!-- Clean -->
  <!-- ================================================================== -->

  <target name="clean">
    <delete includeEmptyDirs="true" failonerror="false">
      <fileset dir="bin" includes="**/*"/>
      <fileset dir="bin"/>
    </delete>
    <echo message="============================================="/>
    <echo message="CLEANED: ${ant.project.name}"/>
    <echo message="============================================="/>
  </target>
  
</project>