X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=build.xml;h=a8ae864a6cdd26109e24b7ed8023ac29e9d3ec7f;hp=0696e0dc29914515ec61105f20e49ff8e6717ba8;hb=d595df17d0014807d635a1f20467fca4d3adb5e9;hpb=a22683303b85e6967b06697300d950a1b7855706

diff --git a/build.xml b/build.xml
index 0696e0d..a8ae864 100644
--- a/build.xml
+++ b/build.xml
@@ -1,10 +1,6 @@
 <project name="mjc2wsl" default="all">
     <property name="java.encoding" value="utf-8" />
-    <taskdef resource="net/sf/antcontrib/antlib.xml">
-        <classpath>
-            <pathelement location="/usr/share/java/"/>
-        </classpath>
-    </taskdef>
+    <taskdef resource="net/sf/antcontrib/antlib.xml"/>
     
     <property name="mjc2wsl.class.dir" value="bin" />
     <property name="mjc2wsl.src.dir" value="src" />
@@ -16,7 +12,9 @@
     <property name="samples.main.dir" value="samples" />
     <property name="samples.temp.dir" value="samples-temp" />
     
-    <target name="help">
+    <property name="fermat.dir" value="/home/donny/d/donny/fermat3" />
+    
+    <target name="help" description="a short help text">
         <echo>Possible options:
         all - build the tool and the compiler and test on the samples
         build - build the mjc2wsl tool
@@ -36,11 +34,11 @@
         </copy>
     </target>
 
-    <target name="build" depends="init">
+    <target name="build" depends="init" description="build the mjv2wsl tool">
         <javac srcdir="${mjc2wsl.src.dir}" destdir="${mjc2wsl.class.dir}" includeAntRuntime='no' />
     </target>
 
-    <target name="mj-build" depends="init">
+    <target name="mj-build" depends="init" description="build the mj compiler">
         <javac srcdir="${compiler.src.dir}" destdir="${compiler.class.dir}" includeAntRuntime='no' />
     </target>
     
@@ -51,7 +49,7 @@
         </java>
     </target>
     
-    <target name="mj-samples" depends="build">
+    <target name="mj-samples" depends="build" description="run the mj compiler on the samples">
         <foreach param="filename" target="mj-compile">
             <path>
             <fileset dir='${samples.temp.dir}'>
@@ -99,11 +97,42 @@
         </antcall>
     </target>
     
-    <target name="all" depends='mj-samples,mjc2wsl-samples'>
+    <target name="wsl-run" >
+        <exec executable="${fermat.dir}/bin/wsl" >
+            <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" depends="make-transf-ini"
+        description="transform (simplify) the wsl files generated by mjc2wsl">
+        <antcall target="wsl-run">
+            <param name="filename" value="src-wsl/transf-min.wsl" />
+        </antcall>
+    </target>
     
+    <target name="make-transf-ini">
+        <fileset dir="${samples.temp.dir}" casesensitive="no" id="generated-wsl-fileset">
+                <patternset id="non.test.sources">
+                    <include name="**/*.wsl"/>
+                    <exclude name="**/*_t.wsl"/>
+                </patternset>
+        </fileset>
+        <pathconvert pathsep="${line.separator}" property="generated-wsl-files" refid="generated-wsl-fileset">
+            
+        </pathconvert>
+
+        <echo file="transf.ini">${generated-wsl-files}</echo>
     </target>
     
-    <target name="clean" >
+    <target name="all" depends='mj-samples,mjc2wsl-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=".">
                 <include name="${mjc2wsl.class.dir}/*.class"/>
@@ -117,5 +146,8 @@
             </dirset>
         </delete>
     </target>
-
+    
+    <!-- jedit specific flags; needs to be the first or the last 10 lines
+    :noTabs=true:
+    -->
 </project>
\ No newline at end of file