From 58e7b33a568a28d617578c1887023ec28a10c64f Mon Sep 17 00:00:00 2001
From: Jeanderson Candido <jeandersonbc@gmail.com>
Date: Mon, 18 Jun 2018 14:43:12 -0300
Subject: [PATCH] Removed Ant script (#87)

---
 build.xml | 456 ------------------------------------------------------
 1 file changed, 456 deletions(-)
 delete mode 100644 build.xml

diff --git a/build.xml b/build.xml
deleted file mode 100644
index ca73885..0000000
--- a/build.xml
+++ /dev/null
@@ -1,456 +0,0 @@
-<?xml version="1.0" ?>
-
-<!--
-  build.xml - the JPF core build script
-              using Ant (http://jakarta.apache.org/ant)
-  public targets:
-
-    build (default)   compile classes and build JPF jar files
-    compile           compile JPF and its specific (modeled) environment libraries
-    test              run all JPF tests
-    clean             remove the files that have been generated by the build process
-    buildinfo         create buildinfo properties file
--->
-
-<project name="jpf-core" default="build" basedir=".">
-
-  <!-- ===================== ===== COMMON SECTION ========================== -->
-
-  <!-- 
-    local props have to come first, because Ant properties are immutable
-    NOTE: this file is local - it is never in the repository!
-  -->
-  <property file="local.properties"/>
-  <property environment="env"/>
-  
-  <!-- compiler settings -->
-  <property name="debug"         value="on"/>
-  <property name="deprecation"   value="on"/>
-
-  <uptodate property="build_uptodate" targetfile="build/main/gov/nasa/jpf/build.properties" srcfile="build.properties"/>
-
-
-  <!-- generic classpath settings -->
-  <path id="lib.path">
-    <pathelement location="build/main"/>
-    <pathelement location="build/peers"/>
-    <pathelement location="build/annotations"/>
-    <fileset dir=".">
-  	  <include name="lib/*.jar"/>
-    </fileset>
-  </path>
-
-
-  <!-- init: common initialization -->
-  <target name="-init">
-    <tstamp/>
-
-    <mkdir dir="build"/>               <!-- the build root -->
-    
-    <!-- the things that have to be in the classpath of whatever runs Ant -->
-    <available property="have_javac" classname="com.sun.tools.javac.Main"/>
-    <fail unless="have_javac">no javac was found __or__ check http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/build for possible solutions</fail>
-
-
-    <available file="src/main"        type="dir" property="have_main"/>
-    <available file="src/annotations" type="dir" property="have_annotations"/>
-    <available file="src/peers"       type="dir" property="have_peers"/>
-    <available file="src/classes"     type="dir" property="have_classes"/>
-    <available file="src/tests"       type="dir" property="have_tests"/>
-    <available file="src/examples"    type="dir" property="have_examples"/>
-
-    <available file=".hg"             type="dir" property="have_hg"/>
-
-    <!-- for the core, it's a fail if any of these is missing -->
-    <fail unless="have_main">no src/main</fail>
-    <fail unless="have_annotations">no src/annotations</fail>
-    <fail unless="have_peers">no src/peers</fail>
-    <fail unless="have_classes">no src/classes</fail>
-    <fail unless="have_tests">no src/tests</fail>
-    <fail unless="have_examples">no src/examples</fail>
-
-    <condition property="have_java8">
-        <equals arg1="${ant.java.version}" arg2="1.8"/>
-    </condition>
-
-  </target>
-
-
-  <!-- ======================= COMPILE SECTION ============================= -->
-    
-  <!-- public compile -->
-  <target name="compile" depends="-init,-compile-annotations,-compile-main,-compile-peers,-compile-classes,-compile-tests,-compile-examples"
-          description="compile all JPF core sources" >
-	  <copy file="build.properties" todir="build/main/gov/nasa/jpf" failonerror="false"/>
-  </target>
-
-  <target name="-compile-annotations" if="have_annotations">
-    <mkdir dir="build/annotations"/>
-    <javac srcdir="src/annotations" destdir="build/annotations" includeantruntime="false"
-           debug="${debug}" deprecation="${deprecation}" classpath=""/>
-  </target>
-
-  <target name="-compile-main" if="have_main">
-    <mkdir dir="build/main"/>
-    <javac srcdir="src/main" destdir="build/main" includeantruntime="false"
-           debug="${debug}" deprecation="${deprecation}" classpathref="lib.path">
-    	<!--
-        <compilerarg value="-XDenableSunApiLintControl"/>
-        <compilerarg value="-Xlint:all"/>
-        -->
-    </javac>
-
-  </target>
-  
-  <target name="-compile-peers" if="have_peers" depends="-compile-main" >
-    <mkdir dir="build/peers"/>
-    <javac srcdir="src/peers" destdir="build/peers" includeantruntime="false"
-           debug="${debug}" deprecation="${deprecation}" classpathref="lib.path">
-    	<compilerarg value="-XDenableSunApiLintControl"/>
-    	<compilerarg value="-Xlint:all,-sunapi,-serial"/>    	
-     </javac>
-  </target>
-  
-  <target name="-compile-classes" if="have_classes" depends="-compile-annotations,-compile-main" >
-    <mkdir dir="build/classes"/>
-    <javac srcdir="src/classes" destdir="build/classes" includeantruntime="false"
-           debug="${debug}" deprecation="${deprecation}">
-      <compilerarg value="-XDenableSunApiLintControl"/>
-      <compilerarg value="-Xlint:all,-sunapi"/>   
-      <classpath>
-        <path refid="lib.path"/>
-        <pathelement location="build/annotations"/>
-      </classpath>
-    </javac>
-  </target>
-  
-  <target name="-compile-tests" if="have_tests" depends="-compile-annotations,-compile-main,-compile-classes">
-    <mkdir dir="build/tests"/>
-
-    <javac sourcepath="" srcdir="src/tests" destdir="build/tests" includeantruntime="false"
-           debug="${debug}" deprecation="${deprecation}"
-           includes="*,gov/nasa/jpf/**,classloader_specific_tests/**">
-      <compilerarg value="-XDenableSunApiLintControl"/>
-      <compilerarg value="-Xlint:all,-sunapi,-serial,-rawtypes,-unchecked"/>
-
-      <include name="*gov/nasa/jpf/**"/>
-      <include name="classloader_specific_tests/**"/>
-      <include name="java8/**" if="have_java8"/>
-
-      <classpath>
-        <path refid="lib.path"/>
-        <pathelement location="build/annotations"/>
-        <pathelement location="build/classes"/>
-      </classpath>       
-    </javac>
-  </target>
-
-  <target name="-compile-examples" if="have_examples" depends="-compile-annotations,-compile-main">
-    <mkdir dir="build/examples" />
-    <javac srcdir="src/examples" destdir="build/examples" includeantruntime="false"
-           debug="${debug}" deprecation="${deprecation}"
-           classpathref="lib.path"/>
-  </target>
-
-  
-  <!-- ======================= MISC SECTION ================================ -->
-  
-  <target name="-version" if="have_hg">
-    <exec executable="hg" outputproperty="version" searchpath="true" failonerror="false" failifexecutionfails="false">
-      <arg value="identify"/>
-      <arg value="-n"/> 
-    </exec>
-  	
-    <!-- .version is in .hgignore -->
-    <echo message="${version}${line.separator}" file=".version"/>
-  </target>
-	
-  <!-- build jars -->
-  <target name="build" depends="-cond-clean,compile,-version"
-        description="generate the core JPF jar files" >
-
-    <copy file=".version" todir="build/main/gov/nasa/jpf" failonerror="false"/>
-
-    <jar jarfile="build/jpf-classes.jar">
-      <fileset dir="build/classes"/>
-      <fileset dir="build/annotations"/>
-
-      <fileset dir="build/main">
-          <!-- we need this one in case a SUT uses the Verify API -->
-          <include name="gov/nasa/jpf/vm/Verify.class"/>
-
-          <!-- these are required if we run TestJPF derived test classes -->
-          <include name="gov/nasa/jpf/JPFShell.class"/>
-          <include name="gov/nasa/jpf/util/TypeRef.class"/>
-          <include name="gov/nasa/jpf/util/test/TestJPF.class"/>
-          <include name="gov/nasa/jpf/util/test/TestMultiProcessJPF.class"/>
-          <include name="gov/nasa/jpf/util/test/TestJPFHelper.class"/>
-      </fileset>
-    </jar>
-
-    <jar jarfile="build/jpf.jar" index="true">
-      <fileset dir="build/main"/>
-      <fileset dir="build/peers"/>
-      <!-- this is redundant, but if JPF is executed from java.class.path it wouldn't find annotations -->
-      <fileset dir="build/annotations"/>
-      
-      <!-- this is for annotations used by JPF regression tests, which can also be executed outside of junit -->
-      <fileset dir="build/classes">
-          <include name="org/junit/*.class"/>
-      </fileset>
-      
-      <manifest>
-        <attribute name="Built-By" value="${user.name}"/>
-        <attribute name="Implementation-Vendor" value="NASA Ames Research Center"/>
-        <attribute name="Implementation-Title" value="Java Pathfinder core system"/>
-        <attribute name="Implementation-Version" value="${jpf.version}"/>
-      </manifest>
-    </jar>
-
-    <!-- optional jar that contains annotations to be used in non-JPF dependent apps -->
-    <jar jarfile="build/jpf-annotations.jar">
-      <fileset dir="build/annotations"/>
-    </jar>
-
-    <!-- this jar is needed to test classloaders, it is used by URLClassLoaderTest -->
-    <jar jarfile="build/classloader_specific_tests.jar">
-      <fileset dir="build/tests">
-        <include name="classloader_specific_tests/*.class"/>
-  	  </fileset>
-    </jar>
-
-    <jar jarfile="build/RunJPF.jar">
-      <fileset dir="build/main">
-        <include name="gov/nasa/jpf/tool/Run.class"/>
-        <include name="gov/nasa/jpf/tool/RunJPF.class"/>
-        <include name="gov/nasa/jpf/Config.class"/>
-        <include name="gov/nasa/jpf/ConfigChangeListener.class"/>
-        <include name="gov/nasa/jpf/Config$MissingRequiredKeyException.class"/>
-        <include name="gov/nasa/jpf/JPFClassLoader.class"/>
-        <include name="gov/nasa/jpf/JPFShell.class"/>
-        <include name="gov/nasa/jpf/JPFException.class"/>
-        <include name="gov/nasa/jpf/JPFConfigException.class"/>
-        <include name="gov/nasa/jpf/JPFTargetException.class"/>
-        <include name="gov/nasa/jpf/util/JPFSiteUtils.class"/>
-        <include name="gov/nasa/jpf/util/FileUtils.class"/>
-        <include name="gov/nasa/jpf/util/StringMatcher.class"/>
-        <include name="gov/nasa/jpf/util/Pair.class"/>        
-      </fileset>
-      
-      <manifest>
-        <attribute name="Built-By" value="${user.name}"/>
-        <attribute name="Implementation-Vendor" value="NASA Ames Research Center"/>
-        <attribute name="Implementation-Title" value="Java Pathfinder core launch system"/>
-        <attribute name="Implementation-Version" value="${jpf.version}"/>
-        <attribute name="Main-Class" value="gov.nasa.jpf.tool.RunJPF"/>
-      </manifest>
-    </jar>
-
-    <jar jarfile="build/RunTest.jar">
-      <fileset dir="build/main">
-        <include name="gov/nasa/jpf/tool/Run.class"/>
-        <include name="gov/nasa/jpf/tool/RunTest.class"/>
-        <include name="gov/nasa/jpf/tool/RunTest$Failed.class"/>
-        <include name="gov/nasa/jpf/Config.class"/>
-        <include name="gov/nasa/jpf/ConfigChangeListener.class"/>
-        <include name="gov/nasa/jpf/Config$MissingRequiredKeyException.class"/>
-        <include name="gov/nasa/jpf/JPFClassLoader.class"/>
-        <include name="gov/nasa/jpf/JPFException.class"/>
-        <include name="gov/nasa/jpf/JPFConfigException.class"/>
-        <include name="gov/nasa/jpf/util/JPFSiteUtils.class"/>
-        <include name="gov/nasa/jpf/util/FileUtils.class"/>
-        <include name="gov/nasa/jpf/util/StringMatcher.class"/>
-        <include name="gov/nasa/jpf/util/DevNullPrintStream.class"/>
-      </fileset>
-      <manifest>
-        <attribute name="Built-By" value="${user.name}"/>
-        <attribute name="Implementation-Vendor" value="NASA Ames Research Center"/>
-        <attribute name="Implementation-Title" value="Java Pathfinder test launch system"/>
-        <attribute name="Implementation-Version" value="${jpf.version}"/>
-        <attribute name="Main-Class" value="gov.nasa.jpf.tool.RunTest"/>
-      </manifest>
-    </jar>
-
-  </target>
-
-
-  <!-- public clean: cleanup from previous tasks/builds -->
-  <target name="clean"
-          description="remove all build artifacts and temporary files">
-    <delete dir="build" failonerror="false"/>
-    <delete dir="tmp" failonerror="false"/>
-    <delete>
-      <fileset dir="." includes="**/*~" defaultexcludes="no" />
-      <fileset dir="." includes="**/*.bak" defaultexcludes="no" />
-      <fileset dir="." includes="**/error.xml" />
-    </delete>
-  </target>
-
-  <target name="-cond-clean" unless="build_uptodate"
-          description="remove all build artifacts and temporaries if build.properties has been changed">
-    <antcall target="clean"/>
-  </target>
-
-
-  <!-- generate buildinfo file  -->
-  <target name="buildinfo" description="create buildinfo properties">
-
-    <!-- make this fail if there are uncommitted changes -->
-    <exec executable="hg" outputproperty="uncommitted_changes" failifexecutionfails="true">
-      <arg value="status"/>
-    </exec>
-    <condition property="have_uncommitted_changes">
-      <length string="${uncommitted_changes}" trim="true" when="greater" length="0"/>
-    </condition>
-<!--
-    <fail if="have_uncommitted_changes">hg status shows uncommitted changes:
-      ${uncommitted_changes}
-    </fail>
--->
-    <exec executable="hg" outputproperty="hg.tip.id" failifexecutionfails="false">
-      <arg value="tip"/>
-      <arg value="--template"/>
-      <arg value="{rev}:{node|short}\n"/>
-    </exec>
-    <exec executable="hg" outputproperty="hg.author" failifexecutionfails="false">
-      <arg value="tip"/>
-      <arg value="--template"/>
-      <arg value="{author}\n"/>
-    </exec>
-    <exec executable="hg" outputproperty="hg.tip.date" failifexecutionfails="false">
-      <arg value="tip"/>
-      <arg value="--template"/>
-      <arg value="{date|isodate}\n"/>
-    </exec>
-    <exec executable="hg" outputproperty="hg.paths.default" failifexecutionfails="false">
-      <arg value="showconfig"/>
-      <arg value="paths.default"/>
-    </exec>
-    
-    <exec executable="hostname" failifexecutionfails="false" outputproperty="env.COMPUTERNAME"/>
-    <property name="hostname" value="${env.COMPUTERNAME}"/>  <!-- Windows doesn't have hostname -->
-
-    <!-- it seems the 'propertyfile' task just appends -->
-    <delete file="build.properties" failonerror="false"/>
-
-    <propertyfile file="build.properties" comment="JPF core build info">
-      <entry key="revision" value="${hg.tip.id}"/>
-      <entry key="date.tip" value="${hg.tip.date}"/>
-
-      <entry key="author" value="${hg.author}"/>
-      <entry key="repository" value="file://${hostname}${basedir}"/>
-      <entry key="upstream" value="${hg.paths.default}"/>
-
-      <entry key="java.version" value="${java.version}"/>
-
-      <entry key="os.arch" value="${os.arch}"/>
-      <entry key="os.name" value="${os.name}"/>
-      <entry key="os.version" value="${os.version}"/>
-      <entry key="user.country" value="${user.country}"/>
-
-    </propertyfile>
-
-  </target>
-
-  <target name="dist" description="build binary distribution">
-    <delete file="build/${ant.project.name}*.zip"/>
-  	
-    <exec executable="hg" outputproperty="hg.tip.rev" failifexecutionfails="false">
-      <arg value="tip"/>
-      <arg value="--template"/>
-      <arg value="-r{rev}"/>
-    </exec>
-  	
-    <!-- 2do this seems stupid - there needs to be a better way to re-base (zip basedir fails miserably) -->
-    <zip destfile="build/${ant.project.name}${hg.tip.rev}.zip" update="false" excludes="*">
-      <zipfileset file="jpf.properties"  prefix="${ant.project.name}"/>
-      <zipfileset file="build.properties"  prefix="${ant.project.name}"/>
-      <zipfileset dir="lib"  prefix="${ant.project.name}/lib"/>
-      <zipfileset dir="bin"  prefix="${ant.project.name}/bin" filemode="754"/>
-      <zipfileset dir="build" includes="*.jar" prefix="${ant.project.name}/build"/>
-    </zip>
-  </target>
-
-  <target name="src-dist" description="build source distribution">
-    <delete file="build/${ant.project.name}*-src.zip"/>
-    
-    <exec executable="hg" outputproperty="hg.tip.rev" failifexecutionfails="false">
-      <arg value="tip"/>
-      <arg value="--template"/>
-      <arg value="-r{rev}"/>
-    </exec>
-  	
-    <zip destfile="build/${ant.project.name}${hg.tip.rev}-src.zip" update="false" excludes="*" whenempty="skip">
-      <zipfileset file="jpf.properties"  prefix="${ant.project.name}"/>
-      <zipfileset file="build.properties"  prefix="${ant.project.name}"/>
-      <zipfileset file="build.xml"  prefix="${ant.project.name}"/>
-    	<zipfileset file="LICENSE-2.0.txt"  prefix="${ant.project.name}"/>
-      <zipfileset file="README"  prefix="${ant.project.name}"/>
-      <zipfileset dir="src" prefix="${ant.project.name}/src"/>
-      <zipfileset dir="lib"  prefix="${ant.project.name}/lib" erroronmissingdir="false"/>
-      <zipfileset dir="bin"  prefix="${ant.project.name}/bin" filemode="754"/>
-      <zipfileset dir="tools" prefix="${ant.project.name}/tools" erroronmissingdir="false"/>
-
-      <!-- IDE related configuration files -->
-      <zipfileset file=".project"  prefix="${ant.project.name}"/>
-      <zipfileset file=".classpath"  prefix="${ant.project.name}"/>
-      <zipfileset dir="eclipse" prefix="${ant.project.name}/eclipse"/>
-
-      <zipfileset dir="nbproject" prefix="${ant.project.name}/nbproject"/>
-    </zip>
-  </target>
-
-  <!-- ======================= TEST SECTION ================================ -->
-
-
-
-  <target name="test" depends="build"
-          description="run core regression tests" if="have_tests">
-          
-    <!-- note this can be directly set in local.properties, which overrides this setting -->
-    <property name="junit.home" value="${env.JUNIT_HOME}"/>
-    
-    <condition property="junit.usefile">
-      <!-- don't set if this is running from within an IDE that collects output -->
-      <not>
-        <isset property="netbeans.home"/>  
-      </not>
-    </condition>
-    
-    <junit printsummary="on" showoutput="off" 
-           haltonfailure="no" logfailedtests="true" failureproperty="test.failed" 
-           dir="${basedir}" fork="yes" forkmode="perTest" maxmemory="1024m" outputtoformatters="true">
-      <formatter type="plain" usefile="${junit.usefile}"/>
-
-      <assertions>
-        <enable/>
-      </assertions>
-
-      <classpath>
-        <path refid="lib.path"/>
-        <pathelement location="build/tests"/>
-        <pathelement location="build/classes"/>
-        <pathelement location="build/annotations"/>
-        
-        <fileset dir="${junit.home}">
-          <include name="**/*.jar"/>
-        </fileset>  
-      </classpath>
-
-      <batchtest todir="build/tests">
-        <fileset dir="build/tests">
-          <exclude name="**/JPF_*.class"/>
-          <include name="**/*Test.class"/>
-        	
-          <exclude name="**/SplitInputStreamTest.class"/>
-        </fileset>
-      </batchtest>
-
-    </junit>
-
-    <fail if="test.failed" />
-   
-  </target>
-
-  
-</project>
-- 
2.34.1