build_Specs.xml

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- WARNING: Eclipse auto-generated file.
              Any modifications will be overwritten.
              To include a user specific buildfile here, simply create one in the same
              directory with the processing instruction <?eclipse.ant.import?>
              as the first entry and export the buildfile again. --><project basedir="." default="build" name="Specs">
    <property environment="env"/>
    <property name="OpenJML.location" value="../OpenJML/OpenJML"/>
    <property name="debuglevel" value="source,lines,vars"/>
    <property name="target" value="1.8"/>
    <property name="source" value="1.8"/>
    <path id="Plug-in Dependencies.libraryclasspath"/>
    <path id="Specs.classpath">
        <path refid="Plug-in Dependencies.libraryclasspath"/>
    </path>
    <target name="init"/>
    <target name="clean"/>
    <target depends="clean" name="cleanall"/>
    <target name="update_repo">
         <exec executable="git">
             <arg value="pull"/>
         </exec>
     </target>
    <target depends="build-subprojects,build-project" name="build"/>
    <target name="build-subprojects"/>
    <target depends="clean,init,update_repo" name="build-project">
        <echo message="${ant.project.name}: ${ant.file}"/>
    </target>
</project>