From: Leif Åstrand <leif@vaadin.com>
Date: Mon, 5 Dec 2011 12:12:11 +0000 (+0000)
Subject: #8050 Enable custom parameters to widgetset compiler
X-Git-Tag: 7.0.0.alpha1~225^2~1^2~20
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=8343130d2baf9b047305d60c5ee4a551ee81946d;p=vaadin-framework.git

#8050 Enable custom parameters to widgetset compiler

svn changeset:22228/svn branch:6.7
---

diff --git a/build/build.xml b/build/build.xml
index a038edb139..046392fe57 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -502,6 +502,9 @@
     
     <target name="compile-widgetset" description="Compiles the widgetset given as the first parameter">
         <fail unless="widgetset" message="No widgetset parameter set"/>
+        <property name="widgetset-style" value="OBF" />
+    	<property name="widgetset-localWorkers" value="4" />
+    	<property name="widgetset-extraParams" value="" />
         <echo>Compiling widgetset ${widgetset}. Output directory: ${widgetsets-output-dir}</echo>
         <java classname="com.google.gwt.dev.Compiler" failonerror="yes" fork="yes" maxmemory="512m">
             <classpath refid="widgetset-compile-classpath"/>
@@ -509,9 +512,10 @@
             <arg value="-war" />
             <arg value="${widgetsets-output-dir}" />
             <arg value="-style" />
-            <arg value="OBF" />
+            <arg value="${widgetset-style}" />
             <arg value="-localWorkers" />
-            <arg value="4" />
+            <arg value="${widgetset-localWorkers}" />
+        	<arg line="${widgetset-extraParams}" />
             <arg value="${widgetset}" />
 
             <jvmarg value="-Xss8M"/>