Add gwt.lib.dir for using prebuilt gwt jar files not in lib dir

diff --git a/build/build.xml b/build/build.xml
index 85bee09a52fc9d4e78b84b0390b8e7590a2769d6..0e6f1b40dde0e288b9e0a38ebf13c3b8f868b298 100644 (file)
--- a/build/build.xml
+++ b/build/build.xml
@@ -41,11 +41,12 @@
        <property name="gwt.build.dir" value="${gwt.root}/build"/>
        <property name="gwt.tools" value="${gwt.root}/../tools"/>
        <property name="gwt.tools.lib" value="${gwt.tools}/lib"/>
+       <property name="gwt.lib.dir" value="${gwt.build.dir}/lib"/>
        
-       <property name="gwt.user.jar" value="${gwt.build.dir}/lib/gwt-user.jar"/>
-       <property name="gwt.dev.jar" value="${gwt.build.dir}/lib/gwt-dev.jar"/>
-       <property name="gwt.codeserver.jar" value="${gwt.build.dir}/lib/gwt-codeserver.jar"/>
-       <property name="gwt.elemental.jar" value="${gwt.build.dir}/lib/gwt-elemental.jar"/>
+       <property name="gwt.user.jar" value="${gwt.lib.dir}/gwt-user.jar"/>
+       <property name="gwt.dev.jar" value="${gwt.lib.dir}/gwt-dev.jar"/>
+       <property name="gwt.codeserver.jar" value="${gwt.lib.dir}/gwt-codeserver.jar"/>
+       <property name="gwt.elemental.jar" value="${gwt.lib.dir}/gwt-elemental.jar"/>
 
        <property name="gwt.user.dir" value="${gwt.root}/user"/>
        <property name="gwt.user.bin" value="${gwt.build.dir}/out/user/bin"/>