From: Doni Pracner <quinnuendo@gmail.com>
Date: Mon, 16 Dec 2013 18:49:01 +0000 (+0100)
Subject: ant setup - added an option for a custom.properties file
X-Git-Tag: v0.1.3~4
X-Git-Url: https://svarog.pmf.uns.ac.rs/gitweb/?a=commitdiff_plain;h=db60afe01e31e932e653dc1cf1c5aaa8fd94ad12;p=mjc2wsl.git

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

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" />