From 6a1ff69dde28f21fa2b24d90bb7562d0ed82b04f Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Mon, 16 Dec 2013 20:00:32 +0100
Subject: [PATCH] enable different default FermaT directories under Windows and
 Linux/Mac

---
 build.xml | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index a69c609..090af7a 100644
--- a/build.xml
+++ b/build.xml
@@ -1,5 +1,15 @@
 <project name="mjc2wsl" default="all">
     <property file="custom.properties"/>
+    
+     <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"/>
     
@@ -12,8 +22,6 @@
 
     <property name="samples.main.dir" value="samples" />
     <property name="samples.temp.dir" value="samples-temp" />
-    
-    <property name="fermat.dir" value="${user.home}/fermat3" />
 
     <property name="transf.wsl.file" value="src-wsl/transf-min.wsl" />
     <property name="transf.wsl.ini" value="transf.ini" />
-- 
2.25.1