ant setup - added an option for a custom.properties file

diff --git a/.gitignore b/.gitignore
index ed24fe87b0f723437dedd7764c7ea3be14719c40..e0e05d9f3c447b9a6fca019e4648bd961ae9f3bb 100644 (file)
--- 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 0e77c01f45afdf38b1b41d6e0a0349a2b44df6f3..a69c6099c431b11805e8e61d80ccb929c08bfd86 100644 (file)
--- 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" />