From d595df17d0014807d635a1f20467fca4d3adb5e9 Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Mon, 11 Nov 2013 20:29:53 +0100
Subject: [PATCH] ant build - task to make transf-ini, and to run
 transf-min.wls on everything generated by the tool

---
 build.xml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/build.xml b/build.xml
index cfd9ea2..a8ae864 100644
--- a/build.xml
+++ b/build.xml
@@ -107,6 +107,27 @@
         </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="all" depends='mj-samples,mjc2wsl-samples' description="build the tools, run them on the samples to check">
     
     </target>
-- 
2.25.1