diff options
author | Henri Sara <hesara@vaadin.com> | 2012-07-25 12:32:51 +0300 |
---|---|---|
committer | Henri Sara <hesara@vaadin.com> | 2012-07-25 12:32:51 +0300 |
commit | 5249ca7f8ae931aaaee2a6b5e9af9f0a1d349000 (patch) | |
tree | ce32732a92971573ecd425fc96f8c86808ec1c1a | |
parent | df98f12cb627c0272ab3fc4dd7175df5553118a3 (diff) | |
download | vaadin-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.
-rw-r--r-- | build/build.xml | 20 |
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/**" /> |