Browse Source

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
tags/7.4.0.beta3
Leif Åstrand 9 years ago
parent
commit
8289b4ab95
1 changed files with 9 additions and 2 deletions
  1. 9
    2
      build/ide.xml

+ 9
- 2
build/ide.xml View File

@@ -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>

Loading…
Cancel
Save