vaadin-framework/build/build.properties

result-path=build/result
checkout-path=build/checkout
product-file=vaadin
product-name=Vaadin
vaadin-package=com/vaadin
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