From db60afe01e31e932e653dc1cf1c5aaa8fd94ad12 Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Mon, 16 Dec 2013 19:49:01 +0100
Subject: [PATCH] ant setup - added an option for a custom.properties file

---
 .gitignore | 3 ++-
 build.xml  | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index ed24fe8..e0e05d9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,5 @@
 *~
 *.bak
 samples-temp/*
-transf.ini
\ No newline at end of file
+transf.ini
+custom.properties
diff --git a/build.xml b/build.xml
index 0e77c01..a69c609 100644
--- a/build.xml
+++ b/build.xml
@@ -1,4 +1,5 @@
 <project name="mjc2wsl" default="all">
+    <property file="custom.properties"/>
     <property name="java.encoding" value="utf-8" />
     <taskdef resource="net/sf/antcontrib/antlib.xml"/>
     
@@ -12,7 +13,7 @@
     <property name="samples.main.dir" value="samples" />
     <property name="samples.temp.dir" value="samples-temp" />
     
-    <property name="fermat.dir" value="/home/donny/d/donny/fermat3" />
+    <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