From 4b33ec0c032703ca392568f57cbd355c205d7a95 Mon Sep 17 00:00:00 2001 From: Henri Sara Date: Thu, 18 Aug 2011 07:54:50 +0000 Subject: [PATCH] #7381 Some build script cleanup, removed unnecessary files from test WAR svn changeset:20452/svn branch:6.7 --- build/bin/package-diff.py | 2 +- build/build.properties | 15 ++++++++-- build/build.xml | 63 +++++++++++++++++---------------------- 3 files changed, 42 insertions(+), 38 deletions(-) diff --git a/build/bin/package-diff.py b/build/bin/package-diff.py index 2add68695e..c8cb63a7ed 100755 --- a/build/bin/package-diff.py +++ b/build/bin/package-diff.py @@ -103,7 +103,7 @@ except OSError: # List files in built version. builtversion = sys.argv[1] -builtpackage = "build/result/vaadin-%s/WebContent/vaadin-%s.jar" % (builtversion, builtversion) +builtpackage = "build/result/vaadin-%s/WebContent/WEB-INF/lib/vaadin-%s.jar" % (builtversion, builtversion) # Report differences 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 diff --git a/build/build.xml b/build/build.xml index 4e00d0248c..8bcbf228f9 100644 --- a/build/build.xml +++ b/build/build.xml @@ -15,7 +15,7 @@ - + @@ -80,17 +80,6 @@ - - - - - - - - - - - @@ -99,24 +88,28 @@ + + + + + + + Base Version: ${version} Full Version: ${version.full} + + + + Vaadin package is: ${toolkit-package} - - - - - - - We are using gwt version ${gwt-version}. @@ -124,6 +117,7 @@ + @@ -180,8 +174,6 @@ - - @@ -191,6 +183,10 @@ + + + + @@ -542,17 +538,14 @@ - + + - - - - We are using ${lib-gwt-dev}. Widget sets output dir: ${widgetsets-output-dir} @@ -624,7 +617,6 @@ - ##teamcity[publishArtifacts '${output-dir}/WebContent/WEB-INF/lib/${lib-jar-name}'] @@ -646,6 +638,7 @@ + @@ -726,9 +719,8 @@ - - + @@ -785,15 +777,16 @@ - Installing ${output-dir}/WebContent/${lib-jar-name} to ${nightly.publish} + Installing ${output-dir}/WebContent/WEB-INF/lib/${lib-jar-name} to ${nightly.publish} Hopefully you have permissions for the copy operation with SSH. + - + @@ -844,11 +837,11 @@ - Publishing ${output-dir}/WebContent/${lib-jar-name} to Maven repository + Publishing ${output-dir}/WebContent/WEB-INF/lib/${lib-jar-name} to Maven repository - + @@ -873,11 +866,11 @@ - Publishing ${output-dir}/WebContent/${lib-jar-name} to the local Maven repository + Publishing ${output-dir}/WebContent/WEB-INF/lib/${lib-jar-name} to the local Maven repository - + -- 2.39.5