bug6177: switched java/pom.xml to GWT 2.12.2

This commit is contained in:
Axel Uhl committed 2025-10-31 21:11:21 +01:00
1 parent 6f937d0958
commit 656ef55d4c
2 files changed
+5 -4

No files matched your search

+2 -1
View File
@@ -11,6 +11,7 @@ GWT="`mktemp -t -d gwt.XXXXX`"
cd "${GWT}"
echo "GWT directory: ${GWT}"
curl -L "${GWT_REPO_URL}/releases/download/gwt-${GWT_VERSION}/gwt-${GWT_VERSION}.zip" -o "gwt-${GWT_VERSION}.zip"
echo "The strange = thing: ${GWT_MAVEN_PLUG_REPO_URL=}"
curl -L "${GWT_MAVEN_PLUG_REPO_URL=}/releases/download/gwt-${GWT_VERSION}/gwt-maven-plugin-${GWT_VERSION}.jar" -o "gwt-maven-plugin-${GWT_VERSION}.jar"
curl -L "${GWT_MAVEN_PLUG_REPO_URL=}/releases/download/gwt-${GWT_VERSION}/gwt-maven-plugin-${GWT_VERSION}.pom" -o "gwt-maven-plugin-${GWT_VERSION}.pom"
unzip gwt-${GWT_VERSION}.zip
@@ -27,4 +28,4 @@ mvn --batch-mode install:install-file -Dpackaging=pom -Dfile="${SAILING_GIT_ROOT
# gwt-maven-plugin:
cd ..
mvn --batch-mode install:install-file -Dfile="gwt-maven-plugin-${GWT_VERSION}.jar" -DpomFile="gwt-maven-plugin-${GWT_VERSION}.pom"
rm -rf "${GWT}"
#rm -rf "${GWT}"
+3 -3
View File
@@ -38,10 +38,10 @@
-->
<tycho-version>4.0.12</tycho-version>
<toolchains-version>3.2.0</toolchains-version>
<gwt.version>2.11.1</gwt.version>
<gwt.version>2.12.2</gwt.version>
<!-- gwt-maven-plugin is typically in sync with the GWT version. But sometimes versions need extra time after a new GWT release. -->
<gwt.plugin.version>2.11.1</gwt.plugin.version>
<gwt.minVersion>2.11.1</gwt.minVersion>
<gwt.plugin.version>2.12.2</gwt.plugin.version>
<gwt.minVersion>2.12.2</gwt.minVersion>
<gwt.workers>2</gwt.workers>
<p2-target>race-analysis-p2-remote</p2-target><!--can be overidden through p2-target.local profile -->
<!-- QUESTION: Which properties or settings are system dependent and differ across different machines/environments? QUESTION: