Update PlatformManager artifacts with Java 17-23

plast-lab · Sep 23, 2024 · 9f9a35f · 9f9a35f
1 parent 11aba91
commit 9f9a35f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/main/groovy/org/clyze/input/PlatformManager.groovy b/src/main/groovy/org/clyze/input/PlatformManager.groovy
@@ -166,6 +166,13 @@ class PlatformManager {
             "java_14"               : ["rt.jar"],
             "java_15"               : ["rt.jar"],
             "java_16"               : ["rt.jar"],
+            "java_17"               : ["rt.jar"],
+            "java_18"               : ["rt.jar"],
+            "java_19"               : ["rt.jar"],
+            "java_20"               : ["rt.jar"],
+            "java_21"               : ["rt.jar"],
+            "java_22"               : ["rt.jar"],
+            "java_23"               : ["rt.jar"],
             // Android compiled from sources
             "android_22_fulljars"   : androidTree3,
             "android_25_fulljars"   : androidTree4,