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

diff --git a/build.xml b/build.xml
index 49af449..0e77c01 100644
--- a/build.xml
+++ b/build.xml
@@ -12,15 +12,18 @@
     <property name="samples.main.dir" value="samples" />
     <property name="samples.temp.dir" value="samples-temp" />
     
-    <target name="help">
-        <echo>Possible options:
-        all - build the tool and the compiler and test on the samples
-        build - build the mjc2wsl tool
-        mj-build - build the mj compiler
-        mj-samples - run the mj compiler on the samples (build if needed)
-        </echo>
-    </target>
-    
+    <property name="fermat.dir" value="/home/donny/d/donny/fermat3" />
+
+    <property name="transf.wsl.file" value="src-wsl/transf-min.wsl" />
+    <property name="transf.wsl.ini" value="transf.ini" />
+
+    <description>
+        Builder script for mjc2wsl and related tools, runs test
+        on given samples.
+        
+        Also gives options to chain the tools on individual files.
+    </description>
+
     <target name="init">
         <mkdir dir="${mjc2wsl.class.dir}"/>
         <mkdir dir="${compiler.class.dir}"/>
@@ -32,7 +35,7 @@
         </copy>
     </target>
 
-    <target name="build" depends="init" description="build the mjv2wsl tool">
+    <target name="build" depends="init" description="build the mjc2wsl tool">
         <javac srcdir="${mjc2wsl.src.dir}" destdir="${mjc2wsl.class.dir}" includeAntRuntime='no' />
     </target>
 
@@ -47,7 +50,7 @@
         </java>
     </target>
     
-    <target name="mj-samples" depends="build" description="run the mj compiler on the samples">
+    <target name="mj-samples" depends="mj-build" description="run the mj compiler on the samples">
         <foreach param="filename" target="mj-compile">
             <path>
             <fileset dir='${samples.temp.dir}'>
@@ -78,7 +81,7 @@
         </java>
     </target>
     
-    <target name="mjc2wsl-samples" depends="build">
+    <target name="mjc2wsl-samples" depends="build" description="run the mjc2wsl tool on the samples">
         <foreach param="filename" target="mjc2wsl">
             <path>
             <fileset dir='${samples.temp.dir}'>
@@ -95,7 +98,48 @@
         </antcall>
     </target>
     
-    <target name="all" depends='mj-samples,mjc2wsl-samples' description="build the tools, run them on the samples to check">
+    <target name="wsl-run" >
+        <exec executable="${fermat.dir}/bin/wsl" inputstring="${inputstring}">
+            <env key="PATH" path="${env.PATH}:${fermat.dir}/bin"/>
+            <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" />
+            <arg value="${filename}"/>
+        </exec>
+    </target>
+    
+    <target name="wsl-transf" 
+        description="transform (simplify) a single wsl file generated by mjc2wsl">
+        <delete file="${transf.wsl.ini}"/>
+        
+        <antcall target="wsl-run">
+            <param name="filename" value="${transf.wsl.file}" />
+            <param name="inputstring" value="${transf.filename}" />
+        </antcall>
+    </target>
+    
+    <target name="wsl-transf-samples" depends="make-transf-ini-samples"
+        description="transform (simplify) the wsl files generated by mjc2wsl">
+        <antcall target="wsl-run">
+            <param name="filename" value="${transf.wsl.file}" />
+        </antcall>
+    </target>
+    
+    <target name="make-transf-ini-samples">
+        <fileset dir="${samples.temp.dir}" casesensitive="no" id="generated-wsl-fileset">
+                <patternset id="non.transformed.sources">
+                    <include name="**/*.wsl"/>
+                    <exclude name="**/*_t.wsl"/>
+                </patternset>
+        </fileset>
+        <pathconvert pathsep="${line.separator}" 
+            property="generated-wsl-files" refid="generated-wsl-fileset" />
+
+        <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">
     
     </target>