(experimental) module support

tudo-aqua · Feb 11, 2024 · 7a3fb13 · 7a3fb13
1 parent 2c02f0c
commit 7a3fb13
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 0 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -17,6 +17,7 @@ import com.diffplug.gradle.spotless.KotlinExtension
 import com.diffplug.gradle.spotless.KotlinGradleExtension
 import com.github.benmanes.gradle.versions.updates.DependencyUpdatesTask
 import de.undercouch.gradle.tasks.download.Download
+import org.glavo.mic.tasks.CompileModuleInfo
 import org.gradle.api.file.DuplicatesStrategy.EXCLUDE
 import org.gradle.api.plugins.BasePlugin.BUILD_GROUP
 import org.gradle.api.publish.plugins.PublishingPlugin.PUBLISH_TASK_GROUP
@@ -46,6 +47,7 @@ plugins {
   signing
 
   alias(libs.plugins.download)
+  alias(libs.plugins.moduleInfo)
   alias(libs.plugins.nexusPublish)
   alias(libs.plugins.spotless)
   alias(libs.plugins.taskTree)
@@ -240,6 +242,14 @@ tasks {
     rejectVersionIf { candidate.version.isUnstable && currentVersion.isStable }
   }
 
+  // compileJava { exclude("module-info.java") }
+
+  javadoc { exclude("module-info.java") }
+
+  named<CompileModuleInfo>("compileModuleInfo") {
+    targetFile = layout.buildDirectory.file("classes/META-INF/versions/9")
+  }
+
   val platformTests =
       testToolchains.map { (name, jvmVersion, jvmVendor) ->
         register<Test>("testOn$name") {

diff --git a/gradle/libs.versions.toml b/gradle/libs.versions.toml
@@ -1,6 +1,7 @@
 [plugins]
 
 download = { id = "de.undercouch.download", version = "5.5.0" }
+moduleInfo = { id = "org.glavo.compile-module-info-plugin", version = "2.0" }
 nexusPublish = { id = "io.github.gradle-nexus.publish-plugin", version = "1.3.0" }
 spotless = { id = "com.diffplug.spotless", version = "6.25.0" }
 taskTree = { id = "com.dorongold.task-tree", version = "2.1.1" }

diff --git a/src/main/java/module-info.java b/src/main/java/module-info.java
@@ -0,0 +1,4 @@
+module com.microsoft.z3 {
+  exports com.microsoft.z3;
+  exports com.microsoft.z3.enumerations;
+}