Migrate build to Gradle 9

- Replace johnrengelman shadow 8.1.1 with gradleup shadow 9.4.3
- Bump protobuf-gradle-plugin to 0.10.0
- Fix Task.project execution-time access; drop redundant imports
- Pin Docker Gradle to 9.4.1

Author: jupblb

bin/docker-setup.sh

@@ -10,7 +10,7 @@ unzip -d /opt/maven maven.zip
 rm maven.zip
 mv /opt/maven/*/* /opt/maven
 
-curl -fLo gradle.zip https://services.gradle.org/distributions/gradle-8.14.4-bin.zip
+curl -fLo gradle.zip https://services.gradle.org/distributions/gradle-9.4.1-bin.zip
 unzip -d /opt/gradle gradle.zip 
 rm gradle.zip
 mv /opt/gradle/*/* /opt/gradle

build.gradle.kts

@@ -3,20 +3,6 @@ import com.google.protobuf.gradle.ProtobufExtension
 import com.google.protobuf.gradle.proto
 import com.vanniktech.maven.publish.MavenPublishBaseExtension
 import java.util.Properties
-import org.gradle.api.JavaVersion
-import org.gradle.api.distribution.DistributionContainer
-import org.gradle.api.plugins.JavaApplication
-import org.gradle.api.plugins.JavaPlugin
-import org.gradle.api.plugins.JavaPluginExtension
-import org.gradle.api.tasks.JavaExec
-import org.gradle.api.tasks.SourceSetContainer
-import org.gradle.api.tasks.Sync
-import org.gradle.api.tasks.compile.JavaCompile
-import org.gradle.api.tasks.javadoc.Javadoc
-import org.gradle.api.tasks.testing.Test
-import org.gradle.external.javadoc.StandardJavadocDocletOptions
-import org.gradle.jvm.tasks.Jar
-import org.gradle.language.jvm.tasks.ProcessResources
 import org.jetbrains.kotlin.gradle.dsl.JvmTarget
 import org.jetbrains.kotlin.gradle.tasks.KotlinCompile
 
@@ -132,7 +118,7 @@ project(":scip-shared") {
 
 project(":scip-javac") {
     apply(plugin = "java-library")
-    apply(plugin = "com.github.johnrengelman.shadow")
+    apply(plugin = "com.gradleup.shadow")
     description = "A javac plugin to emit SCIP information"
 
     dependencies {
@@ -173,7 +159,7 @@ project(":scip-javac") {
 project(":scip-kotlinc") {
     apply(plugin = "java-library")
     apply(plugin = "org.jetbrains.kotlin.jvm")
-    apply(plugin = "com.github.johnrengelman.shadow")
+    apply(plugin = "com.gradleup.shadow")
     description = "A kotlinc plugin to emit SCIP information"
 
     dependencies {
@@ -210,7 +196,7 @@ project(":scip-kotlinc") {
 
 project(":scip-gradle-plugin") {
     apply(plugin = "java-library")
-    apply(plugin = "com.github.johnrengelman.shadow")
+    apply(plugin = "com.gradleup.shadow")
 
     dependencies {
         "compileOnly"(catalog.gradle.api)
@@ -333,12 +319,13 @@ project(":scip-java") {
 
     val generateDistributionVersion = tasks.register("generateDistributionVersion") {
         val output = layout.buildDirectory.file("generated/distribution/VERSION")
-        inputs.property("version", project.version.toString())
+        val version = project.version.toString()
+        inputs.property("version", version)
         outputs.file(output)
         doLast {
             val file = output.get().asFile
             file.parentFile.mkdirs()
-            file.writeText("version:=${project.version}\n")
+            file.writeText("version:=$version\n")
         }
     }
 

flake.nix

@@ -30,7 +30,7 @@
               bazelisk
               git
               google-java-format
-              (gradle.override ({ java = jdk; }))
+              (gradle_9.override ({ java = jdk; }))
               jdk
               jq
               ktfmt

gradle/libs.versions.toml

@@ -12,9 +12,9 @@ maven-plugin-annotations = "3.6.4"
 maven-plugin-api = "3.6.3"
 maven-project = "2.2.1"
 protobuf = "4.34.2"
-protobuf-plugin = "0.9.4"
+protobuf-plugin = "0.10.0"
 scip-bindings = "0.8.0"
-shadow = "8.1.1"
+shadow = "9.4.3"
 vanniktech-maven-publish = "0.35.0"
 
 [libraries]
@@ -46,5 +46,5 @@ scip-kotlin-bindings = { module = "org.scip-code:scip-kotlin-bindings", version.
 [plugins]
 kotlin-jvm = { id = "org.jetbrains.kotlin.jvm", version.ref = "kotlin" }
 protobuf = { id = "com.google.protobuf", version.ref = "protobuf-plugin" }
-shadow = { id = "com.github.johnrengelman.shadow", version.ref = "shadow" }
+shadow = { id = "com.gradleup.shadow", version.ref = "shadow" }
 vanniktech-maven-publish = { id = "com.vanniktech.maven.publish", version.ref = "vanniktech-maven-publish" }