ant - wsl-run add workdir param

[mjc2wsl.git] / build.xml

diff --git a/build.xml b/build.xml
index 6324755..59b0155 100644 (file)
--- a/build.xml
+++ b/build.xml
@@ -57,6 +57,10 @@
         <exclude name="**/*${transf.wsl.ext}"/>
     </patternset>
 
+    <patternset id="transformed.sources">
+        <include name="**/*${transf.wsl.ext}"/>
+    </patternset>
+
     <!-- general tasks -->
 
     <target name="init" depends="init-time">
@@ -225,7 +229,9 @@
 
     <target name="wsl-run" >
         <property name="args" value=""/>
-        <exec executable="${fermat.dir}/bin/wsl" inputstring="${inputstring}">
+        <property name="wslrun.workdir" value=""/>
+        <exec executable="${fermat.dir}/bin/wsl" inputstring="${inputstring}"
+            dir="${wslrun.workdir}" >
             <env key="PATH" path="${fermat.dir}/bin:${env.PATH}"/>
             <env key="FermaT" path="${fermat.dir}" />
             <env key="SCHEME_LIBRARY_PATH" path="${fermat.dir}/slib/" />