diff options
| author | Leif Åstrand <leif@vaadin.com> | 2012-07-03 11:57:59 +0300 |
|---|---|---|
| committer | Leif Åstrand <leif@vaadin.com> | 2012-07-03 11:57:59 +0300 |
| commit | 3536d4e5bcc426eded4d09890a4887ba5c3d8832 (patch) | |
| tree | d1720d36196915421f696419b118a29b8c3da1c2 /build/build.xml | |
| parent | a072757ff6e6091aa66e9e433a5a496edffc51d9 (diff) | |
| download | vaadin-framework-3536d4e5bcc426eded4d09890a4887ba5c3d8832.tar.gz vaadin-framework-3536d4e5bcc426eded4d09890a4887ba5c3d8832.zip | |
Add gwt.lib.dir for using prebuilt gwt jar files not in lib dir
Diffstat (limited to 'build/build.xml')
| -rw-r--r-- | build/build.xml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/build/build.xml b/build/build.xml index 85bee09a52..0e6f1b40dd 100644 --- 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"/> |