diff options
| author | Artur Signell <artur@vaadin.com> | 2013-02-13 16:39:04 +0200 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2013-02-25 11:36:37 +0200 |
| commit | 5e6f1bf03e4eb23592f9c3ba29fd0dc68512088e (patch) | |
| tree | 226939c349f095777aeb05cfd7f9e31cb9e5c18f /gwt-files.xml | |
| parent | c30c566e8130a030411c9f6d4609f6d738873d6a (diff) | |
| download | vaadin-framework-5e6f1bf03e4eb23592f9c3ba29fd0dc68512088e.tar.gz vaadin-framework-5e6f1bf03e4eb23592f9c3ba29fd0dc68512088e.zip | |
Made build process easier for Eclipse users (#9998)
Change-Id: I486817a75c86292f9637523e9a6808107af49e75
Diffstat (limited to 'gwt-files.xml')
| -rw-r--r-- | gwt-files.xml | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/gwt-files.xml b/gwt-files.xml index 33aba795ef..cc4b4a1e96 100644 --- a/gwt-files.xml +++ b/gwt-files.xml @@ -3,7 +3,8 @@ <project name="GWT files for Vaadin" basedir="."> <include file="common.xml" as="common" /> - <property name="gwt.lib.dir" location="${vaadin.basedir}/../gwt-libs" /> + <property name="gwt.lib.dir" location="${gwt.basedir}/build/lib" /> + <property name="gwt.eclipse.basedir" location="${gwt.basedir}/eclipse" /> <property name="gwt.user.jar" location="${gwt.lib.dir}/gwt-user.jar" /> <property name="gwt.dev.jar" location="${gwt.lib.dir}/gwt-dev.jar" /> @@ -15,11 +16,6 @@ <available file="${gwt.elemental.jar}" property="gwt.elemental.jar.found" /> <available file="${gwt.codeserver.jar}" property="gwt.codeserver.jar.found" /> - <fail unless="gwt.dev.jar.found" message="Could not find gwt-dev.jar at ${gwt.dev.jar}" /> - <fail unless="gwt.user.jar.found" message="Could not find gwt-user.jar at ${gwt.user.jar}" /> - <fail unless="gwt.elemental.jar.found" message="Could not find gwt-elemental.jar at ${gwt.elemental.jar}" /> - <fail unless="gwt.codeserver.jar.found" message="Could not find gwt-codeserver.jar at ${gtw.codeserver.jar}" /> - <property name="gwt.unpack.dir" location="${vaadin.basedir}/build/gwt" /> <property name="gwt.user.jar.files" location="${gwt.unpack.dir}/gwt-user.jar" /> @@ -28,6 +24,11 @@ <property name="gwt.codeserver.jar.files" location="${gwt.unpack.dir}/gwt-codeserver.jar" /> <target name="unpack.gwt"> + <fail unless="gwt.dev.jar.found" message="Could not find gwt-dev.jar at ${gwt.dev.jar}" /> + <fail unless="gwt.user.jar.found" message="Could not find gwt-user.jar at ${gwt.user.jar}" /> + <fail unless="gwt.elemental.jar.found" message="Could not find gwt-elemental.jar at ${gwt.elemental.jar}" /> + <fail unless="gwt.codeserver.jar.found" message="Could not find gwt-codeserver.jar at ${gwt.codeserver.jar}" /> + <delete dir="${gwt.unpack.dir}" /> <mkdir dir="${gwt.user.jar.files}" /> |