Support Java 17 in matching (#993)

This PR sets the Java version for `scala-maven-plugin` based on the parent POM, ensuring that we actually support Java 17 everywhere. Blocked on runtimeverification/k#4032. (Or should be? Not sure why the build is passing here when `${java.version}` hasn't been set in the master branch's parent POM yet.)
runtimeverification · Feb 27, 2024 · a843db2 · a843db2
1 parent d02bebd
commit a843db2
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/matching/pom.xml b/matching/pom.xml
@@ -92,6 +92,12 @@
  <arg>-language:implicitConversions</arg>
  <arg>-language:postfixOps</arg>
  </args>
+ <javacArgs>
+ <javacArg>-source</javacArg>
+ <javacArg>${java.version}</javacArg>
+ <javacArg>-target</javacArg>
+ <javacArg>${java.version}</javacArg>
+ </javacArgs>
  </configuration>
  </plugin>
  <plugin>