From 34a97346fd4fb459a50a6d5030affde48c6ef9cf Mon Sep 17 00:00:00 2001
From: nik <Nikolay.Chashnikov@jetbrains.com>
Date: Mon, 15 Sep 2014 11:39:32 +0400
Subject: [PATCH] Community Edition build script: do not fail if Android
 sources are missing

---
 build/scripts/dist.gant    | 2 ++
 build/scripts/layouts.gant | 7 ++++++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/build/scripts/dist.gant b/build/scripts/dist.gant
index a79fb54395d0..3a7d54ca6c43 100644
--- a/build/scripts/dist.gant
+++ b/build/scripts/dist.gant
@@ -45,6 +45,8 @@ class Paths {
 def paths = new Paths(out)
 setProperty("paths", paths)
 
+setProperty("maySkipAndroidPlugin", true)
+
 target(compile: "Compile project") {
   loadProject()
 
diff --git a/build/scripts/layouts.gant b/build/scripts/layouts.gant
index 6eb85a76a4ae..d9f32faec925 100644
--- a/build/scripts/layouts.gant
+++ b/build/scripts/layouts.gant
@@ -254,7 +254,12 @@ def layoutFull(String home, String targetDirectory, String patchedDescriptorDir
 }
 
 public def layoutCommunityPlugins(String home) {
-  layoutAndroid("$home/android")
+  if (!isDefined("maySkipAndroidPlugin") || new File("$home/android").exists()) {
+    layoutAndroid("$home/android")
+  }
+  else {
+    projectBuilder.warning("Android plugin sources aren't found at $home/android. Android plugin is excluded from layout.")
+  }
 
   dir("plugins") {
     def simplePlugins = ["commander", "copyright", "java-i18n", "hg4idea", "github"] //, "tasks-time-tracking"]