From 8289b4ab95850000a3e28e0b66bf20cb5a03f895 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Leif=20=C3=85strand?= <leif@vaadin.com>
Date: Wed, 31 Dec 2014 14:59:08 +0200
Subject: [PATCH] Tweak ide.xml widgetset compilation speed

* Make usearchives and persistentunitcache configurable
* Add target for clearing unit cache for those that dare use it
* Enable usearchives by default since they are loaded from external jars

Change-Id: I33aaaa826ef05d25c7aadb7a1af93585f63eb6b9
---
 build/ide.xml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/build/ide.xml b/build/ide.xml
index 7c5267ef30..440a7d9c3b 100755
--- a/build/ide.xml
+++ b/build/ide.xml
@@ -135,6 +135,9 @@
              Either "-ea" to enable or "" to disable. -->
         <property name="assertions" value="-ea" />
         <property name="extraParams" value="" />
+        
+        <property name="gwt.usearchives" value="true" />
+        <property name="gwt.persistentunitcache" value="false" />
 
         <mkdir dir="${module.output.dir}" />
 
@@ -166,8 +169,8 @@
             <jvmarg value="-Xmx1G" />
             <jvmarg value="-XX:MaxPermSize=256M" />
             <jvmarg value="-Djava.awt.headless=true" />
-            <jvmarg value="-Dgwt.usearchives=false" />
-            <jvmarg value="-Dgwt.persistentunitcache=false" />
+            <jvmarg value="-Dgwt.usearchives=${gwt.usearchives}" />
+            <jvmarg value="-Dgwt.persistentunitcache=${gwt.persistentunitcache}" />
         </java>
     </target>
     <target name="vaadinPush.js" depends="resolve">
@@ -179,4 +182,8 @@
             </fileset>
         </copy>
     </target>
+    
+    <target name="clean-unitcache">
+        <delete dir="WebContent/VAADIN/gwt-unitCache" />
+    </target>
 </project>
-- 
2.39.5