2008-05-07 15:41:49 +02:00
|
|
|
result-path=build/result
|
2009-04-07 15:50:23 +02:00
|
|
|
checkout-path=build/checkout
|
2009-05-12 15:08:56 +02:00
|
|
|
product-file=vaadin
|
|
|
|
product-name=Vaadin
|
2012-01-16 08:01:28 +01:00
|
|
|
vaadin-package=com/vaadin
|
2009-12-18 15:21:35 +01:00
|
|
|
gwt-dir=lib/core/gwt
|
2011-08-18 09:54:50 +02:00
|
|
|
|
|
|
|
# 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
|