From e6199ff865f0dad4ba7892128517b6cb6fc58615 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Hohwiller?= <joerg.hohwiller@capgemini.com>
Date: Mon, 6 May 2024 00:20:14 +0200
Subject: [PATCH] #2: update teavm.version

---
 tvm/pom.xml | 293 ++++++++++++++++++++++++++--------------------------
 1 file changed, 148 insertions(+), 145 deletions(-)

diff --git a/tvm/pom.xml b/tvm/pom.xml
index b310969..69a2460 100644
--- a/tvm/pom.xml
+++ b/tvm/pom.xml
@@ -1,145 +1,148 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
-  xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
-  <modelVersion>4.0.0</modelVersion>
-  <parent>
-    <groupId>io.github.m-m-m</groupId>
-    <artifactId>mmm-ui-demo</artifactId>
-    <version>${revision}</version>
-  </parent>
-
-  <artifactId>mmm-ui-demo-tvm</artifactId>
-  <packaging>war</packaging>
-
-  <properties>
-    <tvm.minifying>true</tvm.minifying>
-    <tvm.debug.information>false</tvm.debug.information>
-    <tvm.source.maps>false</tvm.source.maps>
-    <tvm.optimization>ADVANCED</tvm.optimization>
-  </properties>
-
-  <dependencies>
-    <!-- Emulator of Java class library for TeaVM -->
-    <dependency>
-      <groupId>org.teavm</groupId>
-      <artifactId>teavm-classlib</artifactId>
-      <scope>provided</scope>
-    </dependency>
-
-    <!-- JavaScriptObjects (JSO) - a JavaScript binding for TeaVM -->
-    <dependency>
-      <groupId>org.teavm</groupId>
-      <artifactId>teavm-jso-apis</artifactId>
-      <scope>provided</scope>
-    </dependency>
-
-    <dependency>
-      <groupId>org.teavm</groupId>
-      <artifactId>teavm-extras-slf4j</artifactId>
-      <scope>provided</scope>
-    </dependency>
-
-    <!-- Servlet API -->
-    <dependency>
-      <groupId>jakarta.servlet</groupId>
-      <artifactId>jakarta.servlet-api</artifactId>
-      <version>6.0.0</version>
-      <scope>provided</scope>
-    </dependency>
-
-    <dependency>
-      <groupId>${project.groupId}</groupId>
-      <artifactId>mmm-ui-demo-shared</artifactId>
-    </dependency>
-    <dependency>
-      <groupId>${project.groupId}</groupId>
-      <artifactId>mmm-ui-tvm-all</artifactId>
-    </dependency>
-  </dependencies>
-
-  <build>
-    <plugins>
-      <!-- Configure WAR plugin to include JavaScript files generated by TeaVM -->
-      <plugin>
-        <artifactId>maven-war-plugin</artifactId>
-        <configuration>
-          <warName>${project.artifactId}</warName>
-          <webResources>
-            <resource>
-              <directory>${project.build.directory}/generated/js</directory>
-            </resource>
-          </webResources>
-        </configuration>
-      </plugin>
-
-      <!-- Configure TeaVM -->
-      <plugin>
-        <groupId>org.teavm</groupId>
-        <artifactId>teavm-maven-plugin</artifactId>
-        <version>0.9.0-dev-15</version>
-        <executions>
-          <execution>
-            <id>web-client</id>
-            <goals>
-              <goal>compile</goal>
-            </goals>
-            <configuration>
-              <targetDirectory>${project.build.directory}/generated/js/teavm</targetDirectory>
-              <mainClass>io.github.mmm.ui.demo.tvm.UiDemoTvm</mainClass>
-              <minifying>${tvm.minifying}</minifying>
-              <debugInformationGenerated>${tvm.debug.information}</debugInformationGenerated>
-              <sourceMapsGenerated>${tvm.source.maps}</sourceMapsGenerated>
-              <!-- <sourceFilesCopied>true</sourceFilesCopied> -->
-              <optimizationLevel>${tvm.optimization}</optimizationLevel>
-            </configuration>
-          </execution>
-        </executions>
-      </plugin>
-    </plugins>
-  </build>
-
-  <profiles>
-    <profile>
-      <id>dev</id>
-      <activation>
-        <property>
-          <name>dev</name>
-        </property>
-      </activation>
-      <properties>
-        <tvm.minifying>false</tvm.minifying>
-        <tvm.source.maps>true</tvm.source.maps>
-        <tvm.debug.information>true</tvm.debug.information>
-        <tvm.optimization>SIMPLE</tvm.optimization>
-      </properties>
-      <build>
-        <plugins>
-          <plugin>
-            <groupId>org.apache.maven.plugins</groupId>
-            <artifactId>maven-dependency-plugin</artifactId>
-            <executions>
-              <execution>
-                <id>download-sources</id>
-                <phase>process-sources</phase>
-                <goals>
-                  <goal>sources</goal>
-                </goals>
-              </execution>
-              <execution>
-                <id>extract-sources</id>
-                <phase>process-sources</phase>
-                <goals>
-                  <goal>unpack-dependencies</goal>
-                </goals>
-                <configuration>
-                  <classifier>sources</classifier>
-                  <outputDirectory>${project.build.directory}/generated/js/teavm/src</outputDirectory>
-                </configuration>
-              </execution>
-            </executions>
-          </plugin>
-        </plugins>
-      </build>
-    </profile>
-  </profiles>
-</project>
+<?xml version="1.0" encoding="UTF-8"?>
+<project xmlns="http://maven.apache.org/POM/4.0.0"
+  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+  <modelVersion>4.0.0</modelVersion>
+  <parent>
+    <groupId>io.github.m-m-m</groupId>
+    <artifactId>mmm-ui-demo</artifactId>
+    <version>${revision}</version>
+  </parent>
+
+  <artifactId>mmm-ui-demo-tvm</artifactId>
+  <packaging>war</packaging>
+
+  <properties>
+    <tvm.minifying>true</tvm.minifying>
+    <tvm.debug.information>false</tvm.debug.information>
+    <tvm.source.maps>false</tvm.source.maps>
+    <tvm.optimization>ADVANCED</tvm.optimization>
+    <teavm.version>0.10.0-dev-7</teavm.version>
+  </properties>
+
+  <dependencies>
+    <!-- Emulator of Java class library for TeaVM -->
+    <dependency>
+      <groupId>org.teavm</groupId>
+      <artifactId>teavm-classlib</artifactId>
+      <scope>provided</scope>
+    </dependency>
+
+    <!-- JavaScriptObjects (JSO) - a JavaScript binding for TeaVM -->
+    <dependency>
+      <groupId>org.teavm</groupId>
+      <artifactId>teavm-jso-apis</artifactId>
+      <scope>provided</scope>
+    </dependency>
+
+    <dependency>
+      <groupId>org.teavm</groupId>
+      <artifactId>teavm-extras-slf4j</artifactId>
+      <scope>provided</scope>
+    </dependency>
+
+    <!-- Servlet API -->
+    <dependency>
+      <groupId>jakarta.servlet</groupId>
+      <artifactId>jakarta.servlet-api</artifactId>
+      <version>6.0.0</version>
+      <scope>provided</scope>
+    </dependency>
+
+    <dependency>
+      <groupId>${project.groupId}</groupId>
+      <artifactId>mmm-ui-demo-shared</artifactId>
+    </dependency>
+    <dependency>
+      <groupId>${project.groupId}</groupId>
+      <artifactId>mmm-ui-tvm-all</artifactId>
+    </dependency>
+  </dependencies>
+
+  <build>
+    <plugins>
+      <!-- Configure WAR plugin to include JavaScript files generated by TeaVM -->
+      <plugin>
+        <artifactId>maven-war-plugin</artifactId>
+        <configuration>
+          <warName>${project.artifactId}</warName>
+          <webResources>
+            <resource>
+              <directory>${project.build.directory}/generated/js</directory>
+            </resource>
+          </webResources>
+        </configuration>
+      </plugin>
+
+      <!-- Configure TeaVM -->
+      <plugin>
+        <groupId>org.teavm</groupId>
+        <artifactId>teavm-maven-plugin</artifactId>
+        <version>${teavm.version}</version>
+        <executions>
+          <execution>
+            <id>web-client</id>
+            <goals>
+              <goal>compile</goal>
+            </goals>
+            <configuration>
+              <targetDirectory>${project.build.directory}/generated/js/teavm</targetDirectory>
+              <mainClass>io.github.mmm.ui.demo.tvm.UiDemoTvm</mainClass>
+              <minifying>${tvm.minifying}</minifying>
+              <debugInformationGenerated>${tvm.debug.information}</debugInformationGenerated>
+              <sourceMapsGenerated>${tvm.source.maps}</sourceMapsGenerated>
+              <!-- <sourceFilesCopied>true</sourceFilesCopied> -->
+              <optimizationLevel>${tvm.optimization}</optimizationLevel>
+            </configuration>
+          </execution>
+        </executions>
+      </plugin>
+    </plugins>
+  </build>
+
+  <profiles>
+    <profile>
+      <id>dev</id>
+      <activation>
+        <property>
+          <name>dev</name>
+        </property>
+      </activation>
+      <properties>
+        <tvm.minifying>false</tvm.minifying>
+        <tvm.source.maps>true</tvm.source.maps>
+        <tvm.debug.information>true</tvm.debug.information>
+        <tvm.optimization>SIMPLE</tvm.optimization>
+      </properties>
+      <build>
+        <plugins>
+          <plugin>
+            <groupId>org.apache.maven.plugins</groupId>
+            <artifactId>maven-dependency-plugin</artifactId>
+            <executions>
+              <execution>
+                <id>download-sources</id>
+                <phase>process-sources</phase>
+                <goals>
+                  <goal>sources</goal>
+                </goals>
+              </execution>
+              <execution>
+                <id>extract-sources</id>
+                <phase>process-sources</phase>
+                <goals>
+                  <goal>unpack-dependencies</goal>
+                </goals>
+                <configuration>
+                  <classifier>sources</classifier>
+                  <outputDirectory>
+                    ${project.build.directory}/generated/js/teavm/src</outputDirectory>
+                </configuration>
+              </execution>
+            </executions>
+          </plugin>
+        </plugins>
+      </build>
+    </profile>
+  </profiles>
+</project>