X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=build.xml;h=838103650f0fe1ccf68dfd0fb42cc9c67ab29e74;hp=0e77c01f45afdf38b1b41d6e0a0349a2b44df6f3;hb=e2544852d4bf73d52f9a05e7d3723906ec8f527f;hpb=9cf197a33cddf9e442e63f9356bad187671a255a

diff --git a/build.xml b/build.xml
index 0e77c01..8381036 100644
--- a/build.xml
+++ b/build.xml
@@ -1,21 +1,43 @@
 <project name="mjc2wsl" default="all">
+    <property file="custom.properties"/>
+    <property environment="env"/>
+    
+     <condition property="fermat.dir" value="C:\fermat3">
+       <os family="windows" />
+     </condition>
+
+     <condition property="fermat.dir" value="${user.home}/fermat3">
+       <not><os family="windows" /></not>
+     </condition>
+
+    
     <property name="java.encoding" value="utf-8" />
     <taskdef resource="net/sf/antcontrib/antlib.xml"/>
     
     <property name="mjc2wsl.class.dir" value="bin" />
     <property name="mjc2wsl.src.dir" value="src" />
     <property name="mjc2wsl.options" value="" />
+
+    <property name="res.dir" value="res" />
     
-    <property name="compiler.class.dir" value="compiler-bin" />
-    <property name="compiler.src.dir" value="compiler" />
+    <property name="compiler.class.jar" value="lib/mj.jar" />
+    <property name="compiler.class.dir" value="lib/compiler-bin" />
+    <property name="compiler.src.dir" value="lib/compiler-src" />
+    <property name="compiler.classname.compiler" value="MJ.Compiler" />
+    <property name="compiler.classname.interpreter" value="MJ.Run" />
+    <property name="compiler.classname.decoder" value="MJ.Decode" />
 
     <property name="samples.main.dir" value="samples" />
-    <property name="samples.temp.dir" value="samples-temp" />
-    
-    <property name="fermat.dir" value="/home/donny/d/donny/fermat3" />
+    <property name="samples.temp.dir" value="temp" />
 
     <property name="transf.wsl.file" value="src-wsl/transf-min.wsl" />
     <property name="transf.wsl.ini" value="transf.ini" />
+    
+    <property name="tests.dir" value="tests" />
+
+    <property name="log.dir" value="logs" />
+    <property name="log.file.transformations" value="${log.dir}/transformations" />
+    <property name="log.file.mjc2wsl" value="${log.dir}/mjc2wsl" />
 
     <description>
         Builder script for mjc2wsl and related tools, runs test
@@ -24,10 +46,13 @@
         Also gives options to chain the tools on individual files.
     </description>
 
-    <target name="init">
+    <!-- general tasks -->
+
+    <target name="init" depends="init-time">
         <mkdir dir="${mjc2wsl.class.dir}"/>
         <mkdir dir="${compiler.class.dir}"/>
         <mkdir dir="${samples.temp.dir}"/>
+        <mkdir dir="${log.dir}"/>
         <copy todir="${samples.temp.dir}">
             <fileset dir="${samples.main.dir}">
                 <include name="*.mj"/>
@@ -35,22 +60,107 @@
         </copy>
     </target>
 
-    <target name="build" depends="init" description="build the mjc2wsl tool">
+    <target name="init-time">
+        <tstamp>
+          <format property="time" pattern="yy-MM-dd--HH-mm-ss"/>
+        </tstamp>
+    </target>
+
+    <target name="all" depends='mj-samples,mjc2wsl-samples,wsl-transf-samples'
+        description="build the tools, run them on the samples to check">
+    
+    </target>
+    
+    <target name="clean" description="clean up all the generated content">
+        <delete includeemptydirs="true">
+            <fileset dir="${mjc2wsl.class.dir}"/>
+            <fileset dir="${compiler.class.dir}"/>
+            <fileset dir="${samples.temp.dir}"/>
+            <fileset dir="${log.dir}"/>
+        </delete>
+    </target>
+	
+	<!-- version tasks
+	based on ideas by Jesper Öqvist http://llbit.se/?p=1876 -->
+    
+	<!-- this target is only run if the 'version' property is undefined -->
+	
+	<target name="update-version-string" unless="version">
+	        <!-- get a new version string using git describe if possible -->
+	        <echo message="Updating version string..."/>
+	        <exec executable="git" outputproperty="version"
+	                failifexecutionfails="false">
+	                <arg value="describe"/>
+	        </exec>
+	        <antcall target="-store-version-string"/>
+	        <!-- ensure version is defined even if git was not available -->
+	        <property file="${res.dir}/version.properties"/>
+	</target>
+    
+	<target name="-store-version-string" if="version">
+	        <!-- store the new  version string in the correct property file -->
+	        <echo message="version=${version}"/>
+	        <propertyfile file="${res.dir}/version.properties">
+	                <entry key="version" value="${version}"/>
+	        </propertyfile>
+	        <exec executable="git" failifexecutionfails="false">
+	                <arg value="update-index"/>
+	                <arg value="--assume-unchanged"/>
+	                <arg value="${res.dir}/version.properties"/>
+	        </exec>
+	</target>
+	
+    <!-- mjc2wsl related tasks -->
+    
+    <target name="build" depends="init,update-version-string" description="build the mjc2wsl tool">
         <javac srcdir="${mjc2wsl.src.dir}" destdir="${mjc2wsl.class.dir}" includeAntRuntime='no' />
     </target>
 
+    <target name="mjc2wsl">
+        <echo message="${filename}" />
+        <java classpath="${mjc2wsl.class.dir}:${res.dir}" classname="com.quemaster.transformations.mjc2wsl.mjc2wsl">
+            <arg line="${mjc2wsl.options}" />
+            <arg value="${filename}" />
+        </java>
+    </target>
+    
+    <target name="mjc2wsl-samples" depends="build,init-time" description="run the mjc2wsl tool on the samples">
+        <record name="${log.file.mjc2wsl}${time}.txt" emacsmode="true" />
+        <echo>Used options:${mjc2wsl.options}</echo>
+        <foreach param="filename" target="mjc2wsl">
+            <path>
+            <fileset dir='${samples.temp.dir}'>
+                <include name="*.obj"/>
+            </fileset>
+            </path>
+        </foreach>
+        <record name="${log.file.mjc2wsl}${time}.txt" action="stop" />
+        <copy file="${log.file.mjc2wsl}${time}.txt" tofile="${log.file.mjc2wsl}.txt"/>
+    </target>
+    
+    <target name="mjc2wsl-samples1" depends="build">
+    <!-- simplistic version when antlib (foreach) is not available -->
+        <antcall target="mjc2wsl">
+            <param name="filename" value="samples-temp/sample0.obj" />
+        </antcall>
+    </target>
+
+
+    <!-- MicroJava related tasks -->
+
+
     <target name="mj-build" depends="init" description="build the mj compiler">
         <javac srcdir="${compiler.src.dir}" destdir="${compiler.class.dir}" includeAntRuntime='no' />
     </target>
     
-    <target name="mj-compile">
+    <target name="mj-compile" description="compile a MJ into obj file; given ${filename}">
         <echo message="${filename}" />
-        <java classpath="${compiler.class.dir}" classname="Compiler">
+        <java classpath="${compiler.class.dir}:${compiler.class.jar}" classname="${compiler.classname.compiler}">
             <arg value="${filename}" />
         </java>
     </target>
     
-    <target name="mj-samples" depends="mj-build" description="run the mj compiler on the samples">
+    <target name="mj-samples" description="run the mj compiler on the samples" depends="init">
         <foreach param="filename" target="mj-compile">
             <path>
             <fileset dir='${samples.temp.dir}'>
@@ -60,50 +170,54 @@
         </foreach>
     </target>
 
-    <target name="mj-samples1" depends="mj-build">
-    <!-- simplistic version when antlib (foreach) is not available -->
-        <antcall target="mj-compile">
-            <param name="filename" value="samples-temp/sample.mj" />
-        </antcall>
-        <antcall target="mj-compile">
-            <param name="filename" value="samples-temp/sample1.mj" />
-        </antcall>
-        <antcall target="mj-compile">
-            <param name="filename" value="samples-temp/sample0.mj" />
-        </antcall>
-    </target>
-    
-    <target name="mjc2wsl">
+    <target name="mj-decode" description="decode a MJ obj file given in ${filename}">
         <echo message="${filename}" />
-        <java classpath="${mjc2wsl.class.dir}" classname="mjc2wsl">
-            <arg line="${mjc2wsl.options}" />
+        <java classpath="${compiler.class.dir}:${compiler.class.jar}" classname="${compiler.classname.decoder}">
             <arg value="${filename}" />
         </java>
     </target>
     
-    <target name="mjc2wsl-samples" depends="build" description="run the mjc2wsl tool on the samples">
-        <foreach param="filename" target="mjc2wsl">
+    <target name="mj-decode-samples" description="decode all of the compiled samples and save into file 'decoded.txt'">
+        <record name="${samples.temp.dir}/decoded.txt" emacsmode="true" loglevel="info"/>
+        <foreach param="filename" target="mj-decode">
             <path>
             <fileset dir='${samples.temp.dir}'>
                 <include name="*.obj"/>
             </fileset>
             </path>
         </foreach>
+        <record name="${samples.temp.dir}/decoded.txt" action="stop"/>
     </target>
     
-    <target name="mjc2wsl-samples1" depends="build">
+    <target name="mj-run" description="run a MJ obj file given in ${filename} with ${inputstring}">
+        <echo message="${filename}" />
+        <java classpath="${compiler.class.dir}:${compiler.class.jar}" classname="${compiler.classname.interpreter}" inputstring="${inputstring}">
+            <arg value="${filename}" />
+        </java>
+    </target>
+
+    <target name="mj-samples1" depends="mj-build">
     <!-- simplistic version when antlib (foreach) is not available -->
-        <antcall target="mjc2wsl">
-            <param name="filename" value="samples-temp/sample0.obj" />
+        <antcall target="mj-compile">
+            <param name="filename" value="samples-temp/sample.mj" />
+        </antcall>
+        <antcall target="mj-compile">
+            <param name="filename" value="samples-temp/sample1.mj" />
+        </antcall>
+        <antcall target="mj-compile">
+            <param name="filename" value="samples-temp/sample0.mj" />
         </antcall>
     </target>
-    
+
+
+    <!-- wsl related tasks -->
+
     <target name="wsl-run" >
         <exec executable="${fermat.dir}/bin/wsl" inputstring="${inputstring}">
-            <env key="PATH" path="${env.PATH}:${fermat.dir}/bin"/>
+            <env key="PATH" path="${fermat.dir}/bin:${env.PATH}"/>
             <env key="FermaT" path="${fermat.dir}" />
             <env key="SCHEME_LIBRARY_PATH" path="${fermat.dir}/slib/" />
-            <env key="SCM_INIT_PATH" path="${fermat.dir}/scm/Init5e5.scm" />
+            <env key="SCM_INIT_PATH" path="${fermat.dir}/scm/Init5e7.scm" />
             <arg value="${filename}"/>
         </exec>
     </target>
@@ -118,11 +232,14 @@
         </antcall>
     </target>
     
-    <target name="wsl-transf-samples" depends="make-transf-ini-samples"
+    <target name="wsl-transf-samples" depends="init-time,make-transf-ini-samples"
         description="transform (simplify) the wsl files generated by mjc2wsl">
+        <record name="${log.file.transformations}${time}.txt" emacsmode="true" />
         <antcall target="wsl-run">
             <param name="filename" value="${transf.wsl.file}" />
         </antcall>
+	<record name="${log.file.transformations}${time}.txt" action="stop" />
+        <copy file="${log.file.transformations}${time}.txt" tofile="${log.file.transformations}.txt"/>
     </target>
     
     <target name="make-transf-ini-samples">
@@ -138,26 +255,198 @@
         <echo file="${transf.wsl.ini}">${generated-wsl-files}</echo>
     </target>
     
-    <target name="all" depends='mj-samples,mjc2wsl-samples,wsl-transf-samples'
-        description="build the tools, run them on the samples to check">
+    <!-- Testing tasks -->
+    
+    <target name="manual-test-run" 
+    description="run .obj .wsl _t.wsl, given are ${file.dir}, ${file.name} (no extension) and an ${inputstring}">
+    	<record name="${file.dir}/${file.name}.out1"  emacsmode="true" />
+    	<antcall target="mj-run">
+            <param name="filename" value="${file.dir}/${file.name}.obj" />
+            <param name="inputstring" value="${inputstring}" />
+        </antcall>
+    	<record name="${file.dir}/${file.name}.out1" action="stop" />
+    	<record name="${file.dir}/${file.name}.out2"  emacsmode="true" />
+        <antcall target="wsl-run">
+            <param name="filename" value="${file.dir}/${file.name}.wsl" />
+            <param name="inputstring" value="${inputstring}" />
+        </antcall>
+    	<record name="${file.dir}/${file.name}.out2" action="stop" />
+    	<record name="${file.dir}/${file.name}.out3" emacsmode="true" />
+        <antcall target="wsl-run">
+            <param name="filename" value="${file.dir}/${file.name}_t.wsl" />
+            <param name="inputstring" value="${inputstring}" />
+        </antcall>
+    	<record name="${file.dir}/${file.name}.out3" action="stop" />
+    </target>
+    
+    <target name="manual-test-run-samples-dir"
+    description="run .obj .wsl _t.wsl, in the samples-temp directory; given ${file.name} (no extension) and an ${inputstring}">
+        <antcall target="manual-test-run">
+            <param name="file.dir" value="${samples.temp.dir}"/>
+        </antcall>
+    </target>
     
+    <target name="init-compare">
+        <mkdir dir="${samples.temp.dir}/outputs"/>
     </target>
+        
+    <target name="test-m-w">
     
-    <target name="clean" description="clean up all the generated content">
-        <delete includeemptydirs="true">
-            <fileset dir=".">
-                <include name="${mjc2wsl.class.dir}/*.class"/>
-                <include name="${compiler.class.dir}/*.class"/>
-                <include name="${samples.temp.dir}/*"/>
+    <basename property="file.out" file="${inputfile}" suffix=".txt"/>
+    
+        <java classpath="${compiler.class.dir}:${compiler.class.jar}" 
+        classname="${compiler.classname.interpreter}" 
+        input="${inputfile}"
+        error="${samples.temp.dir}/outputs/${file.out}.errmj"
+        output="${samples.temp.dir}/outputs/${file.out}.outmj">
+            <arg value="${file.dir}/${file.name}.obj" />
+        </java>
+        
+        <exec executable="${fermat.dir}/bin/wsl" 
+        input="${inputfile}"
+        error="${samples.temp.dir}/outputs/${file.out}.errwsl"
+        output="${samples.temp.dir}/outputs/${file.out}.outwsl" >
+            <env key="PATH" path="${fermat.dir}/bin:${env.PATH}"/>
+            <env key="FermaT" path="${fermat.dir}" />
+            <env key="SCHEME_LIBRARY_PATH" path="${fermat.dir}/slib/" />
+            <env key="SCM_INIT_PATH" path="${fermat.dir}/scm/Init5e7.scm" />
+            <arg value="${file.dir}/${file.name}.wsl"/>
+        </exec>
+        
+        <exec executable="perl" resultproperty="ook">
+            <arg value="lib/compare-m-w.pl"/>
+            <arg value="${file.dir}/outputs"/>
+            <arg value="${file.out}"/>
+        </exec>
+        
+    </target>
+    
+    <target name="test-w-wt">
+    
+    <basename property="file.out" file="${inputfile}" suffix=".txt"/>
+    
+        <exec executable="${fermat.dir}/bin/wsl" 
+        input="${inputfile}"
+        error="${samples.temp.dir}/outputs/${file.out}.errwsl"
+        output="${samples.temp.dir}/outputs/${file.out}.outwsl" >
+            <env key="PATH" path="${fermat.dir}/bin:${env.PATH}"/>
+            <env key="FermaT" path="${fermat.dir}" />
+            <env key="SCHEME_LIBRARY_PATH" path="${fermat.dir}/slib/" />
+            <env key="SCM_INIT_PATH" path="${fermat.dir}/scm/Init5e7.scm" />
+            <arg value="${file.dir}/${file.name}.wsl"/>
+        </exec>
+        
+        <exec executable="${fermat.dir}/bin/wsl" 
+        input="${inputfile}"
+        error="${samples.temp.dir}/outputs/${file.out}.errwslt"
+        output="${samples.temp.dir}/outputs/${file.out}.outwslt" >
+            <env key="PATH" path="${fermat.dir}/bin:${env.PATH}"/>
+            <env key="FermaT" path="${fermat.dir}" />
+            <env key="SCHEME_LIBRARY_PATH" path="${fermat.dir}/slib/" />
+            <env key="SCM_INIT_PATH" path="${fermat.dir}/scm/Init5e7.scm" />
+            <arg value="${file.dir}/${file.name}_t.wsl"/>
+        </exec>
+        
+        <exec executable="perl">
+            <arg value="lib/compare-w-wt.pl"/>
+            <arg value="${file.dir}/outputs"/>
+            <arg value="${file.out}"/>
+        </exec>
+    </target>
+
+    <target name="test-fn">
+        <basename property="file.name" file="${filename}" suffix=".obj"/>
+        <dirname property="file.dir" file="${filename}"/>
+        <foreach param="inputfile" target="test-m-w" inheritall="true">
+            <path>
+            <fileset dir='${tests.dir}'>
+                <include name="${file.name}*.txt"/>
             </fileset>
-            <dirset dir=".">
-                <include name="${mjc2wsl.class.dir}"/>
-                <include name="${compiler.class.dir}"/>
-                <include name="${samples.temp.dir}"/>
-            </dirset>
-        </delete>
+            </path>
+        </foreach>
+    </target>
+    
+    <target name="test-fn-t">
+        <basename property="file.name" file="${filename}" suffix="_t.wsl"/>
+        <dirname property="file.dir" file="${filename}"/>
+        <foreach param="inputfile" target="test-w-wt" inheritall="true">
+            <path>
+            <fileset dir='${tests.dir}'>
+                <include name="${file.name}*.txt"/>
+            </fileset>
+            </path>
+        </foreach>
+    </target>
+    
+    <target name="test-all-m" depends="init-compare"
+    description="Run all the tests from the test directory to compare MJ and WSL" >
+        <foreach param="filename" target="test-fn" inheritall="true">
+            <path>
+            <fileset dir='${samples.temp.dir}'>
+                <include name="*.obj"/>
+            </fileset>
+            </path>
+        </foreach>
+    </target>
+
+    <target name="test-all-t" depends="init-compare"
+    description="Run all the tests from the test directory to compare WSL and transformations" >
+        <foreach param="filename" target="test-fn-t">
+            <path>
+            <fileset dir='${samples.temp.dir}'>
+                <include name="*_t.wsl"/>
+            </fileset>
+            </path>
+        </foreach>
+    </target>
+    
+    <target name="q-test">
+    <!-- for quick tests -->
+        <antcall target="test-fn">
+            <param name="file.name" value="Rek1"/>
+            <param name="file.dir" value="${samples.temp.dir}"/>
+        </antcall>
     </target>
     
+    <!-- output serveral versions of files -->
+
+    <target name="output-all-versions"
+        description="generate variations on the translations in the 'local' folder and tar them">
+        <antcall>
+            <target name="mj-samples"/>
+            <target name="mjc2wsl-samples"/>
+            <param name="samples.temp.dir" value="local/out/headTail-proc"/>
+            <param name="mjc2wsl.options" value=""/>
+        </antcall>
+        <antcall>
+            <target name="mj-samples"/>
+            <target name="mjc2wsl-samples"/>
+            <param name="samples.temp.dir" value="local/out/headTail-inline"/>
+            <param name="mjc2wsl.options" value="--genInlinePrint"/>
+        </antcall>
+        <antcall>
+            <target name="mj-samples"/>
+            <target name="mjc2wsl-samples"/>
+            <param name="samples.temp.dir" value="local/out/popPush-inline"/>
+            <param name="mjc2wsl.options" value="--genPopPush --genInlinePrint"/>
+        </antcall>
+        <antcall>
+            <target name="mj-samples"/>
+            <target name="mjc2wsl-samples"/>
+            <param name="samples.temp.dir" value="local/out/popPush-proc"/>
+            <param name="mjc2wsl.options" value="--genPopPush"/>
+        </antcall>
+        <antcall>
+            <target name="mj-samples"/>
+            <target name="mjc2wsl-samples"/>
+            <param name="samples.temp.dir" value="local/out/popPush-glob"/>
+            <param name="mjc2wsl.options" value="--genPopPush --genGlobalVars"/>
+        </antcall>
+        <tar basedir="local/out" compression="gzip"
+            destfile="local/mjc2wsl-samples.tgz"
+            includes="*/*.wsl"/>
+    </target>
+
     <!-- jedit specific flags; needs to be the first or the last 10 lines
     :noTabs=true:
     -->