update build.gradle in prov for java 17, by using targetCompatibility and sourceCompatibility, as options.release does not work.

gefeili · gefeili · commit d6ddffb83688 · 2025-12-04T11:50:31.000+10:30
diff --git a/prov/build.gradle b/prov/build.gradle
@@ -107,7 +107,8 @@ compileJava15Java {
 }
 
 compileJava17Java {
-    options.release = 17
+    targetCompatibility = 17
+    sourceCompatibility = 17
     options.sourcepath = files(['src/main/java', 'src/main/jdk17'])
 }
 
@@ -265,7 +266,8 @@ compileTest15Java {
 }
 
 compileTest17Java {
-    options.release = 17
+    targetCompatibility = 17
+    sourceCompatibility = 17
     options.sourcepath = files(['src/test/java', 'src/test/jdk17'])
 }
 

Original file line number	Diff line number	Diff line change
`@@ -107,7 +107,8 @@ compileJava15Java {`
`107`	`107`	`}`
`108`	`108`
`109`	`109`	`compileJava17Java {`
`110`		`- options.release = 17`
	`110`	`+ targetCompatibility = 17`
	`111`	`+ sourceCompatibility = 17`
`111`	`112`	`options.sourcepath = files(['src/main/java', 'src/main/jdk17'])`
`112`	`113`	`}`
`113`	`114`
`@@ -265,7 +266,8 @@ compileTest15Java {`
`265`	`266`	`}`
`266`	`267`
`267`	`268`	`compileTest17Java {`
`268`		`- options.release = 17`
	`269`	`+ targetCompatibility = 17`
	`270`	`+ sourceCompatibility = 17`
`269`	`271`	`options.sourcepath = files(['src/test/java', 'src/test/jdk17'])`
`270`	`272`	`}`
`271`	`273`