Require tools from referenced core platform if used

Author: cmaglie

arduino-core/src/processing/app/BaseNoGui.java

@@ -171,6 +171,16 @@ static public PreferencesMap getBoardPreferences() {
     if (platform != null)
       requiredTools.addAll(platform.getResolvedTools());
 
+    // Add all tools dependencies from the (possibily) referenced core
+    String core = prefs.get("build.core");
+    if (core.contains(":")) {
+      String split[] = core.split(":");
+      TargetPlatform referenced = BaseNoGui.getCurrentTargetPlatformFromPackage(split[0]);
+      ContributedPlatform referencedPlatform = indexer.getContributedPlaform(referenced);
+      if (referencedPlatform != null)
+        requiredTools.addAll(referencedPlatform.getResolvedTools());
+    }
+
     String prefix = "runtime.tools.";
     for (ContributedTool tool : requiredTools) {
       File folder = tool.getDownloadableContribution(getPlatform()).getInstalledFolder();