ant task, use hill climbing by default

[mjc2wsl.git] / build.xml

diff --git a/build.xml b/build.xml
index ee686f5..a9dac9f 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -35,6 +35,7 @@
     <property name="mjc2wsl.class.dir" value="bin" />
     <property name="mjc2wsl.src.dir" value="src" />
     <property name="mjc2wsl.options" value="" />
+    <property name="mjc2wsl.main" value="com.quemaster.transformations.mjc2wsl.Mjc2wsl" />
 
     <property name="res.dir" value="res" />
     <property name="dist.dir" value="dist" />
@@ -49,9 +50,9 @@
     <property name="samples.main.dir" value="samples" />
     <property name="samples.temp.dir" value="temp" />
 
-    <property name="transf.wsl.file" value="src-wsl/transf-min.wsl" />
+    <property name="transf.wsl.file" value="src-wsl/hill_climbing.wsl" />
     <property name="transf.wsl.ini" value="transf.ini" />
-    <property name="transf.wsl.ext" value="_t.wsl" />
+    <property name="transf.wsl.ext" value="_tr.wsl" />
     <!-- args can be used to send additional arguments to a script -->
     <property name="transf.wsl.args" value="" />
 
@@ -100,11 +101,11 @@
 
     <target name="init-time">
         <tstamp>
-          <format property="time" pattern="yy-MM-dd--HH-mm-ss"/>
+          <format property="time" pattern="yy-MM-dd--HH-mm-ss-SSS"/>
         </tstamp>
     </target>
 
-    <target name="all" depends='mj-samples,mjc2wsl-samples,wsl-transf-samples'
+    <target name="all" depends='mj-samples,mjc2wsl-samples,wsl-transf-samples,metrics-samples-compare-wsl'
         description="build the tools, run them on the samples to check">
 
     </target>
@@ -131,7 +132,7 @@
               <attribute name="Implementation-Title"
                value="MicroJava bytecode to WSL"/>
               <attribute name="Implementation-Version" value="${version}"/>
-              <attribute name="Main-Class" value="com.quemaster.transformations.mjc2wsl.mjc2wsl"/>
+              <attribute name="Main-Class" value="${mjc2wsl.main}"/>
             </manifest>
             <fileset dir="${mjc2wsl.class.dir}"/>
         </jar>
@@ -185,7 +186,7 @@
 
     <target name="mjc2wsl">
         <echo message="${filename}" />
-        <java classpath="${mjc2wsl.class.dir}:${res.dir}" classname="com.quemaster.transformations.mjc2wsl.mjc2wsl">
+        <java classpath="${mjc2wsl.class.dir}:${res.dir}" classname="${mjc2wsl.main}">
             <arg line="${mjc2wsl.options}" />
             <arg value="${filename}" />
         </java>
@@ -298,11 +299,14 @@
 
     <target name="wsl-transf"
         description="transform (simplify) a single wsl file generated by mjc2wsl">
-
+        <stopwatch name="transf-${transf.filename}" action="start"/>
         <antcall target="wsl-run">
             <param name="filename" value="${transf.wsl.file}" />
             <param name="args" value="${transf.wsl.args} ${transf.filename}" />
         </antcall>
+        <record name="${transf.filename}-time.txt" action="start" emacsmode="true"/>
+        <stopwatch name="transf-${transf.filename}" action="total"/>
+        <record name="${transf.filename}-time.txt" action="stop"/>
     </target>
 
     <target name="wsl-transf-samples" depends="init"