don't try to layout android plugin in minor IDEs
authornik <Nikolay.Chashnikov@jetbrains.com>
Fri, 17 Jul 2015 09:37:13 +0000 (12:37 +0300)
committernik <Nikolay.Chashnikov@jetbrains.com>
Fri, 17 Jul 2015 09:37:13 +0000 (12:37 +0300)
build/scripts/layouts.gant

index 9b0ea0d50e2ba8ef3daa03840ed80931d37db525..3a89d9b7c33d405815fe7412b031b5531211d657 100644 (file)
@@ -322,18 +322,20 @@ def layoutFull(String home, String targetDirectory, String patchedDescriptorDir
 }
 
 public def layoutCommunityPlugins(String home, boolean maySkipAndroidPlugin = false) {
-  def androidHome = relativeAndroidHome()
-  def androidToolsBaseHome = relativeAndroidToolsBaseHome()
-  if (new File("$home/$androidHome").exists()) {
-    layoutAndroid("$home/$androidHome", "$home/$androidToolsBaseHome")
-  }
-  else {
-    def message = "Android plugin sources aren't found at ${androidHome}"
-    if (maySkipAndroidPlugin) {
-      projectBuilder.warning("$message. Android plugin is excluded from layout.")
+  if (!isDefined("pluginFilter") || pluginFilter.contains("android")) {
+    def androidHome = relativeAndroidHome()
+    def androidToolsBaseHome = relativeAndroidToolsBaseHome()
+    if (new File("$home/$androidHome").exists()) {
+      layoutAndroid("$home/$androidHome", "$home/$androidToolsBaseHome")
     }
     else {
-      projectBuilder.error(message)
+      def message = "Android plugin sources aren't found at ${androidHome}"
+      if (maySkipAndroidPlugin) {
+        projectBuilder.warning("$message. Android plugin is excluded from layout.")
+      }
+      else {
+        projectBuilder.error(message)
+      }
     }
   }