build: add Maven metadata

1 files changed, 49 insertions, 2 deletions

diff --git a/z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts b/z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts
index 75d64a6f..46bc4083 100644
--- a/z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts
+++ b/z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts
@@ -11,6 +11,9 @@ plugins {
 }
 
 java {
+        withJavadocJar()
+        withSourcesJar()
+
         toolchain {
                 languageVersion.set(JavaLanguageVersion.of(21))
         }
@@ -49,17 +52,43 @@ tasks {
         jar {
                 manifest {
                         attributes(
-                                        "Bundle-SymbolicName" to "${project.group}.${project.name}",
-                                        "Bundle-Version" to project.version
+                                "Bundle-SymbolicName" to "${project.group}.${project.name}",
+                                "Bundle-Version" to project.version
                         )
                 }
         }
+
+        javadoc {
+                options {
+                        this as StandardJavadocDocletOptions
+                        addBooleanOption("Xdoclint:none", true)
+                        // {@code -Xmaxwarns 0} will print all warnings, so we must keep at least one.
+                        addStringOption("Xmaxwarns", "1")
+                        quiet()
+                }
+        }
 }
 
+open class MavenArtifactExtension {
+        var nameSuffix: String? = null
+}
+
+val artifactExtension = project.extensions.create<MavenArtifactExtension>("mavenArtifact")
+
 publishing.publications {
         register<MavenPublication>("mavenJava") {
                 from(components["java"])
                 pom {
+                        val nameString = provider {
+                                val prefix = "Z3 Java Bindings"
+                                val nameSuffix = artifactExtension.nameSuffix
+                                if (nameSuffix == null) prefix else "$prefix ($nameSuffix)"
+                        }
+                        name = nameString.map { "Refinery $it" }
+                        description = nameString.map {
+                                "$it for Refinery, an efficient graph solver for generating well-formed models"
+                        }
+                        url = "https://refinery.tools/"
                         licenses {
                                 license {
                                         name = "MIT License"
@@ -70,6 +99,24 @@ publishing.publications {
                                         url = "http://www.apache.org/licenses/LICENSE-2.0.txt"
                                 }
                         }
+                        developers {
+                                developer {
+                                        name = "The Refinery Authors"
+                                        url = "https://refinery.tools/"
+                                }
+                                developer {
+                                        name = "Microsoft Corporation"
+                                        url = "https://github.com/Z3Prover/z3"
+                                }
+                        }
+                        scm {
+                                connection = "scm:git:https://github.com/graphs4value/refinery.git"
+                                developerConnection = "scm:git:ssh://github.com:graphs4value/refinery.git"
+                                url = "https://github.com/graphs4value/refinery"
+                        }
+                        issueManagement {
+                                url = "https://github.com/graphs4value/refinery/issues"
+                        }
                 }
         }
 }