Mercurial > hg > blitz_condensed
changeset 4:7b6200980805
Pull system dependent properties out into build.properties, and allow users to override these properties with a user.properties file.
| author | dbrosius@mebigfatguy.com |
|---|---|
| date | Thu, 14 May 2009 11:10:34 -0400 |
| parents | d3ec5ebc3dba |
| children | 27ca8522be85 |
| files | build.properties build.xml |
| diffstat | 2 files changed, 8 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/build.properties Thu May 14 11:10:34 2009 -0400 @@ -0,0 +1,2 @@ +JINI_HOME=/Users/dan/jini/jini2_1 +JDK_HOME=/usr/local/java \ No newline at end of file
--- a/build.xml Sat Apr 25 08:38:27 2009 +0100 +++ b/build.xml Thu May 14 11:10:34 2009 -0400 @@ -2,6 +2,10 @@ <description> Main build file for Blitz space implementation running on Db-Java </description> + + <property file="${basedir}/user.properties" /> + <property file="${basedir}/build.properties" /> + <!-- set global properties for this build --> <property name="src" location="src"/> <property name="testsrc" location="test"/> @@ -10,8 +14,8 @@ <property name="installer_build" location="installer_build"/> <property name="db_root" location="dbjava/je-3.2.68/"/> <property name="bdb" location="dbjava/je.jar"/> - <property name="jini_root" location="/Users/dan/jini/jini2_1"/> - <property name="jdk_root" location="/usr/local/java"/> + <property name="jini_root" location="${JINI_HOME}"/> + <property name="jdk_root" location="${JDK_HOME}"/> <property name="stats" location="examples/statsclient"/> <property name="statsbuild" location="examples/statsclient"/> <property name="hello" location="examples/helloworld"/>