build.gradle: target the Java 11 platform API

stephengold · Jun 27, 2024 · 985541f · 985541f
1 parent c5510ef
commit 985541f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build.gradle b/build.gradle
@@ -166,6 +166,7 @@ tasks.withType(JavaCompile) { // Java compile-time options:
     options.deprecation = true // to provide detailed deprecation warnings
     options.encoding = 'UTF-8'
     options.headerOutputDirectory = new File('src/main/native/auto')
+    options.release = 11
 }
 
 application {