From 05cd3bd1ac7d4d8646d20f9ae4128ca08db05dab Mon Sep 17 00:00:00 2001 From: =?utf8?q?Marko=20Gr=C3=B6nroos?= Date: Wed, 2 Dec 2009 00:48:28 +0000 Subject: [PATCH] Updated build-widgetset.xml script for Vaadin 6.2. For #3640. svn changeset:10121/svn branch:6.2 --- build/build.xml | 2 +- build/package/build-widgetset.xml | 90 ++++++++++++++++++++++++++----- 2 files changed, 78 insertions(+), 14 deletions(-) diff --git a/build/build.xml b/build/build.xml index d41b221b50..5f84d8b83c 100644 --- a/build/build.xml +++ b/build/build.xml @@ -539,7 +539,7 @@ - + diff --git a/build/package/build-widgetset.xml b/build/package/build-widgetset.xml index 55962ae263..35f5852ef3 100644 --- a/build/package/build-widgetset.xml +++ b/build/package/build-widgetset.xml @@ -10,7 +10,7 @@ You may use either this script or Vaadin Hosted Mode Browser.launch (in Eclipse) to compile your client-side java code. By default Vaadin first tries to serve widgetset resources from the file system, if that -fails then files are streamed from vaadin-.jar. +fails then files are streamed from vaadin-@version@.jar. See configure target to adjust this buildfile. @@ -21,7 +21,7 @@ See configure target to adjust this buildfile. @@ -40,12 +40,33 @@ See configure target to adjust this buildfile. - - + + + + + + + + + + + + + + + + + + + + + + + Configured for ${gwt-platform} platform. @@ -53,7 +74,7 @@ See configure target to adjust this buildfile. ${gwt-location}/gwt-dev-${gwt-platform}.jar ${gwt-location}/gwt-user.jar ${toolkit-jar-location} - ${client-side-src-location} + ${src-location} Output will be written into ${client-side-destination} @@ -64,22 +85,65 @@ See configure target to adjust this buildfile. + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - Compiling com.vaadin.demo.colorpicker.gwt.ColorPickerWidgetSet. - Modify this example ant-script to compile your own widgetsets. - - + + + Compiling ${widgetset}... + Modify this example Ant script to compile your own widget sets. + + + - + -- 2.39.5