Set Java 17 in kore submodule

runtimeverification · Feb 23, 2024 · b23068e · b23068e
1 parent cb1b966
commit b23068e
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/kore/pom.xml b/kore/pom.xml
@@ -79,6 +79,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>
     </plugins>

diff --git a/pom.xml b/pom.xml
@@ -75,6 +75,7 @@
     <skipCheckstyleOnWindows>true</skipCheckstyleOnWindows>
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     <project.build.type>FastBuild</project.build.type>
+    <java.version>17</java.version>
     <scala.majorVersion>2.12</scala.majorVersion>
     <scala.minorVersion>18</scala.minorVersion>
     <scala.version>${scala.majorVersion}.${scala.minorVersion}</scala.version>
@@ -167,8 +168,8 @@
           <artifactId>maven-compiler-plugin</artifactId>
           <version>3.7.0</version>
           <configuration>
-            <source>17</source>
-            <target>17</target>
+            <source>${java.version}</source>
+            <target>${java.version}</target>
           </configuration>
         </plugin>
         <!-- Antrun plugin for running arbitrary shell commands (building subprojects) -->
@@ -248,7 +249,7 @@
         <configuration>
           <rules>
             <requireJavaVersion>
-              <version>[11,)</version>
+              <version>[${java.version},)</version>
             </requireJavaVersion>
           </rules>
         </configuration>