summaryrefslogtreecommitdiff
path: root/build.xml
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2007-11-28 10:26:16 +0000
committermichelou <michelou@epfl.ch>2007-11-28 10:26:16 +0000
commitb8681839ed77fbd44f2660b0d3b540bdc0861e66 (patch)
tree2a0948a7bbb03ee64fa1a86496000f1ffd28d854 /build.xml
parentdfda38550a2d48662fde917d26dfb8e2d6c64eee (diff)
downloadscala-b8681839ed77fbd44f2660b0d3b540bdc0861e66.tar.gz
scala-b8681839ed77fbd44f2660b0d3b540bdc0861e66.tar.bz2
scala-b8681839ed77fbd44f2660b0d3b540bdc0861e66.zip
sets 'android.home' property
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml12
1 files changed, 12 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index 75ac6ded9e..00d8f6674b 100644
--- a/build.xml
+++ b/build.xml
@@ -59,6 +59,7 @@ PROPERTIES
<property name="android.dir" value="${build.dir}/android"/>
<property name="msil.dir" value="${build.dir}/msil"/>
<property name="mono.dir" value="${src.dir}/mono"/>
+
<!-- Sets location and structure of the distribution -->
<property name="dist.dir" value="${basedir}/dists"/>
<property name="lib.jar.name" value="scala-library.jar"/>
@@ -76,8 +77,19 @@ PROPERTIES
<property name="comp.prop.name" value="compiler.properties"/>
<property name="lib.prop.name" value="library.properties"/>
<property name="par.prop.name" value="partest.properties"/>
+
<!-- if available, faster stability checking -->
<property name="stability.tool" value="/home/linuxsoft/apps/stability/stability"/>
+
+ <!-- Sets location of Android installation -->
+ <condition property="android.home" value="${unix.android.home}">
+ <and><os family="unix"/><isset property="unix.android.home"/></and>
+ </condition>
+ <condition property="android.home" value="${win.android.home}">
+ <and><os family="windows"/><isset property="win.android.home"/></and>
+ </condition>
+ <property name="android.home" value="${env.ANDROID_HOME}"/>
+
<!-- ===========================================================================
ANT INITIALISATION
============================================================================ -->