Bug 1231667 - Set Android SDK directory in topsrcdir Gradle configura…

…tion. r=me f=mcomella

.hgignore

@@ -59,6 +59,9 @@ _OPT\.OBJ/
 # Gradle cache.
 ^.gradle/
 
+# Local Gradle configuration properties.
+^local.properties$
+
 # Python stuff installed at build time.
 ^python/psutil/.*\.so
 ^python/psutil/.*\.pyd

settings.gradle

@@ -18,9 +18,16 @@ def slurper = new JsonSlurper()
 def json = slurper.parseText(standardOutput.toString())
 
 if (json.substs.MOZ_BUILD_APP != 'mobile/android') {
-    throw new GradleException("Building with Gradle is only supported for Fennec, i.e., MOZ_BUILD_APP == 'mobile/android'.");
+    throw new GradleException("Building with Gradle is only supported for Fennec, i.e., MOZ_BUILD_APP == 'mobile/android'.")
 }
 
+// Set the Android SDK location.  This is the *least specific* mechanism, which
+// is unfortunate: we'd prefer to use the *most specific* mechanism.  That is,
+// local.properties (first 'sdk.dir', then 'android.dir') and then the
+// environment variable ANDROID_HOME will override this.  That's unfortunate,
+// but it's hard to automatically arrange better.
+System.setProperty('android.home', json.substs.ANDROID_SDK_ROOT)
+
 include ':app'
 include ':base'
 include ':omnijar'