diff options
| author | Henri Sara <henri.sara@itmill.com> | 2011-08-18 07:54:50 +0000 |
|---|---|---|
| committer | Henri Sara <henri.sara@itmill.com> | 2011-08-18 07:54:50 +0000 |
| commit | 4b33ec0c032703ca392568f57cbd355c205d7a95 (patch) | |
| tree | 83fec3d1712d23cfa80dd66d8f5729212b364f8c /build/build.properties | |
| parent | 2b68b323cfb0ffa9e67780fef19424f257e2c057 (diff) | |
| download | vaadin-framework-4b33ec0c032703ca392568f57cbd355c205d7a95.tar.gz vaadin-framework-4b33ec0c032703ca392568f57cbd355c205d7a95.zip | |
#7381 Some build script cleanup, removed unnecessary files from test WAR
svn changeset:20452/svn branch:6.7
Diffstat (limited to 'build/build.properties')
| -rw-r--r-- | build/build.properties | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/build/build.properties b/build/build.properties index 281a7acb6b..82378c6dac 100644 --- a/build/build.properties +++ b/build/build.properties @@ -3,6 +3,17 @@ checkout-path=build/checkout product-file=vaadin product-name=Vaadin toolkit-package=com/vaadin -eclipse-workspace-name=vaadin-examples -eclipse-launch-vmargs=-Xms256M -Xmx512M gwt-dir=lib/core/gwt + +# repository into which Maven snapshots should be published +snapshot.repository.url=http://oss.sonatype.org/content/repositories/vaadin-snapshots + +# These are required when compiling WebContent/VAADIN/widgetsets (and also +# Java server-side classes). +# Using special -noservlet packages to be able to use a different version of +# the servlet specification than what the GWT JARs include. +lib-gwt-dev=${gwt-dir}/gwt-dev-noservlet.jar +lib-gwt-user=${gwt-dir}/gwt-user-noservlet.jar +# FIXME: Should use ${gwt-version-dependencies} +lib-gwt-validation=${gwt-dir}/validation-api-1.0.0.GA.jar +lib-gwt-validation-src=${gwt-dir}/validation-api-1.0.0.GA-sources.jar |