update arduino-builder to 1.3.25

Also add build.cache_core preference

Author: facchinm

app/src/cc/arduino/view/preferences/Preferences.java

@@ -128,6 +128,7 @@ private void initComponents() {
     enableCodeFoldingBox = new javax.swing.JCheckBox();
     verifyUploadBox = new javax.swing.JCheckBox();
     externalEditorBox = new javax.swing.JCheckBox();
+    cacheCompiledCore = new javax.swing.JCheckBox();
     checkUpdatesBox = new javax.swing.JCheckBox();
     updateExtensionBox = new javax.swing.JCheckBox();
     saveVerifyUploadBox = new javax.swing.JCheckBox();
@@ -244,6 +245,9 @@ public void mouseEntered(java.awt.event.MouseEvent evt) {
     externalEditorBox.setText(tr("Use external editor"));
     checkboxesContainer.add(externalEditorBox);
 
+    cacheCompiledCore.setText(tr("Aggressively cache compiled core"));
+    checkboxesContainer.add(cacheCompiledCore);
+
     checkUpdatesBox.setText(tr("Check for updates on startup"));
     checkboxesContainer.add(checkUpdatesBox);
 
@@ -678,6 +682,7 @@ private void autoScaleCheckBoxItemStateChanged(java.awt.event.ItemEvent evt) {//
   private javax.swing.JCheckBox enableCodeFoldingBox;
   private javax.swing.JButton extendedAdditionalUrlFieldWindow;
   private javax.swing.JCheckBox externalEditorBox;
+  private javax.swing.JCheckBox cacheCompiledCore;
   private javax.swing.JTextField fontSizeField;
   private javax.swing.JLabel fontSizeLabel;
   private javax.swing.JLabel jLabel1;
@@ -772,6 +777,8 @@ private void savePreferencesData() {
 
     PreferencesData.setBoolean("editor.external", externalEditorBox.isSelected());
 
+    PreferencesData.setBoolean("compiler.cache_core", cacheCompiledCore.isSelected());
+
     PreferencesData.setBoolean("update.check", checkUpdatesBox.isSelected());
 
     PreferencesData.setBoolean("editor.update_extension", updateExtensionBox.isSelected());
@@ -832,6 +839,8 @@ private void showPrerefencesData() {
 
     externalEditorBox.setSelected(PreferencesData.getBoolean("editor.external"));
 
+    cacheCompiledCore.setSelected(PreferencesData.get("compiler.cache_core") == null || PreferencesData.getBoolean("compiler.cache_core"));
+
     checkUpdatesBox.setSelected(PreferencesData.getBoolean("update.check"));
 
     updateExtensionBox.setSelected(PreferencesData.get("editor.update_extension") == null || PreferencesData.getBoolean("editor.update_extension"));

arduino-core/src/cc/arduino/Compiler.java

@@ -138,6 +138,7 @@ enum BuilderAction {
   private final File pathToSketch;
   private final Sketch sketch;
   private String buildPath;
+  private String buildCache;
   private final boolean verbose;
   private RunnerException exception;
 
@@ -156,9 +157,10 @@ public String build(CompilerProgressListener progListener, boolean exportHex) th
     listeners.add(progListener);
     return this.build(listeners, exportHex);
   }
-  
+
   public String build(ArrayList<CompilerProgressListener> progListeners, boolean exportHex) throws RunnerException, PreferencesMapException, IOException {
     this.buildPath = sketch.getBuildPath().getAbsolutePath();
+    this.buildCache = BaseNoGui.getCachePath().getAbsolutePath();
 
     TargetBoard board = BaseNoGui.getTargetBoard();
     if (board == null) {
@@ -258,6 +260,11 @@ private void callArduinoBuilder(TargetBoard board, TargetPlatform platform, Targ
     cmd.add(buildPath);
     cmd.add("-warnings=" + PreferencesData.get("compiler.warning_level"));
 
+    if (PreferencesData.getBoolean("compiler.cache_core") == true) {
+      cmd.add("-build-cache");
+      cmd.add(buildCache);
+    }
+
     PreferencesData.getMap()
       .subTree("runtime.build_properties_custom")
       .entrySet()

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

@@ -21,6 +21,9 @@
 import processing.app.packages.LibraryList;
 import processing.app.packages.UserLibrary;
 
+import cc.arduino.files.DeleteFilesOnShutdown;
+import processing.app.helpers.FileUtils;
+
 import java.beans.PropertyChangeListener;
 import java.beans.PropertyChangeSupport;
 import java.io.File;
@@ -100,6 +103,8 @@ public class BaseNoGui {
 
   private static String boardManagerLink = "";
 
+  private static File buildCache;
+
   // Returns a File object for the given pathname. If the pathname
   // is not absolute, it is interpreted relative to the current
   // directory when starting the IDE (which is not the same as the
@@ -131,7 +136,7 @@ static public PreferencesMap getBoardPreferences() {
     if (board == null)
       return null;
     String boardId = board.getId();
-    
+
     PreferencesMap prefs = new PreferencesMap(board.getPreferences());
 
     String extendedName = prefs.get("name");
@@ -256,6 +261,18 @@ static public String getPortableSketchbookFolder() {
     return portableSketchbookFolder;
   }
 
+  static public File getCachePath() {
+    if (buildCache == null) {
+      try {
+        buildCache = FileUtils.createTempFolder("arduino_cache_");
+        DeleteFilesOnShutdown.add(buildCache);
+      } catch (IOException e) {
+        return null;
+      }
+    }
+    return buildCache;
+  }
+
   /**
    * Convenience method to get a File object for the specified filename inside
    * the settings folder.

build/arduino-builder-linux32-1.3.24.tar.bz2.sha

@@ -0,0 +1 @@
+ffcef834b478c1ca05d14460cf6bb3b3427e4e6e

build/arduino-builder-linux32-1.3.25.tar.bz2.sha

@@ -0,0 +1 @@
+09ee430cb6cc5b934433c7077cfc60126db07fa7

build/arduino-builder-linux64-1.3.24.tar.bz2.sha

@@ -0,0 +1 @@
+7b4ee3c503084879a8c53c04f3de7f28db4a6ece