aboutsummaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorHenri Sara <hesara@vaadin.com>2012-07-25 12:32:51 +0300
committerHenri Sara <hesara@vaadin.com>2012-07-25 12:32:51 +0300
commit5249ca7f8ae931aaaee2a6b5e9af9f0a1d349000 (patch)
treece32732a92971573ecd425fc96f8c86808ec1c1a /build
parentdf98f12cb627c0272ab3fc4dd7175df5553118a3 (diff)
downloadvaadin-framework-5249ca7f8ae931aaaee2a6b5e9af9f0a1d349000.tar.gz
vaadin-framework-5249ca7f8ae931aaaee2a6b5e9af9f0a1d349000.zip
Support using pre-compiled GWT JARs in build with use.precompiled.gwt .
If the option is specified, gwt.lib.dir should point to a directory containing the required GWT JARs.
Diffstat (limited to 'build')
-rw-r--r--build/build.xml20
1 files changed, 15 insertions, 5 deletions
diff --git a/build/build.xml b/build/build.xml
index e01d33db3e..8935d5a23f 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -60,9 +60,11 @@
<pathelement location="${gwt.user.jar}" />
<pathelement location="${gwt.dev.jar}" />
- <!-- GWT dependencies -->
+ <!-- GWT dependencies - included in gwt-user.jar -->
+ <!--
<pathelement location="${gwt.tools.lib}/w3c/sac/sac-1.3.jar" />
<pathelement location="${gwt.tools.lib}/w3c/flute/flute-1.3-gg2.jar" />
+ -->
<path refid="ivy.compile.classpath.server-side" />
</path>
@@ -79,9 +81,11 @@
<pathelement location="${gwt.user.jar}" />
<pathelement location="${gwt.dev.jar}" />
- <!-- GWT dependencies -->
+ <!-- GWT dependencies - included in gwt-user.jar -->
+ <!--
<pathelement location="${gwt.tools.lib}/w3c/sac/sac-1.3.jar" />
<pathelement location="${gwt.tools.lib}/w3c/flute/flute-1.3-gg2.jar" />
+ -->
<path refid="ivy.compile.classpath.client-side" />
</path>
@@ -666,7 +670,8 @@
<!-- Libraries and Tests -->
<!-- ================================================================== -->
- <target name="compile-gwt" depends="init">
+ <target name="compile-gwt" depends="init" unless="use.precompiled.gwt">
+ <!-- skipped based on a parameter, use pre-compiled JARs from elsewhere -->
<!-- Compile GWT in a directory defined by properties -->
<ant antfile="${gwt.root}/build.xml" target="user" dir="${gwt.root}" inheritall="false" inheritrefs="false">
<property name="gwt.root" value="${gwt.root}"/>
@@ -750,14 +755,19 @@
<!-- TODO GWT related license files etc. should be in subdirectories -->
<!-- GWT -->
- <fileset dir="${gwt.user.dir}/src" excludes="**/package.html" />
- <fileset dir="${gwt.user.dir}/super" excludes="**/package.html" />
<!-- Precompiled GWT modules (.gwtar file) not included to limit JAR size -->
+ <zipfileset src="${gwt.user.jar}" excludes="META-INF/**,javax/servlet/**,**/*.gwtar" />
+
+ <!-- TODO depends on locally compiled gwt-user -->
+ <!--
+ <fileset dir="${gwt.user.dir}/src" excludes="**/package.html" />
+ <fileset dir="${gwt.user.dir}/super" excludes="**/package.html" />
<fileset dir="${gwt.user.bin}" excludes="**/*.gwtar" />
<zipfileset src="${gwt.tools.lib}/w3c/sac/sac-1.3.jar" />
<zipfileset src="${gwt.tools.lib}/w3c/flute/flute-1.3-gg2.jar" />
<zipfileset src="${gwt.tools.lib}/streamhtmlparser/streamhtmlparser-jsilver-r10/streamhtmlparser-jsilver-r10-1.5-rebased.jar" />
+ -->
<!-- GWT development JAR contents including many external dependencies -->
<zipfileset src="${gwt.dev.jar}" excludes="javax/servlet/**,javax/xml/**" />