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

diff --git a/.gitignore b/.gitignore
index ed24fe8..e0e05d9 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,5 @@
 *~
 *.bak
 samples-temp/*
 *~
 *.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 (file)
--- a/build.xml
+++ b/build.xml
@@ -1,4 +1,5 @@
 <project name="mjc2wsl" default="all">
 <project name="mjc2wsl" default="all">

+    <property file="custom.properties"/>

     <property name="java.encoding" value="utf-8" />
     <taskdef resource="net/sf/antcontrib/antlib.xml"/>
     
     <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="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" />
 
     <property name="transf.wsl.file" value="src-wsl/transf-min.wsl" />
     <property name="transf.wsl.ini" value="transf.ini" />