7 files changed, 59 insertions, 14 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"
+                        }
                 }
         }
 }
diff --git a/z3/subprojects/solver-darwin-aarch64/build.gradle.kts b/z3/subprojects/solver-darwin-aarch64/build.gradle.kts
index 21c9739c..4f227513 100644
--- a/z3/subprojects/solver-darwin-aarch64/build.gradle.kts
+++ b/z3/subprojects/solver-darwin-aarch64/build.gradle.kts
@@ -11,6 +11,8 @@ plugins {
 val classifier = "z3-${version}-arm64-osx-11.0"
 val library = "z3java-darwin-aarch64"
 
+mavenArtifact.nameSuffix = "Darwin aarch64"
+
 dependencies {
         z3("Z3Prover:z3:${version}:${classifier}@zip")
 }
diff --git a/z3/subprojects/solver-darwin-x86-64/build.gradle.kts b/z3/subprojects/solver-darwin-x86-64/build.gradle.kts
index 75e59267..9e4a803d 100644
--- a/z3/subprojects/solver-darwin-x86-64/build.gradle.kts
+++ b/z3/subprojects/solver-darwin-x86-64/build.gradle.kts
@@ -11,6 +11,8 @@ plugins {
 val classifier = "z3-${version}-x64-osx-10.16"
 val library = "z3java-darwin-x86-64"
 
+mavenArtifact.nameSuffix = "Darwin x86_64"
+
 dependencies {
         z3("Z3Prover:z3:${version}:${classifier}@zip")
 }
diff --git a/z3/subprojects/solver-linux-aarch64/build.gradle.kts b/z3/subprojects/solver-linux-aarch64/build.gradle.kts
index a8e7e259..a26409d2 100644
--- a/z3/subprojects/solver-linux-aarch64/build.gradle.kts
+++ b/z3/subprojects/solver-linux-aarch64/build.gradle.kts
@@ -8,6 +8,8 @@ plugins {
         id("tools.refinery.z3.gradle.java-library")
 }
 
+mavenArtifact.nameSuffix = "Linux aarch64"
+
 tasks.jar {
         // License information is redundant here, since it already gets added to the POM.
         exclude("**/*.license")
diff --git a/z3/subprojects/solver-linux-x86-64/build.gradle.kts b/z3/subprojects/solver-linux-x86-64/build.gradle.kts
index 89c737b6..e16c19ac 100644
--- a/z3/subprojects/solver-linux-x86-64/build.gradle.kts
+++ b/z3/subprojects/solver-linux-x86-64/build.gradle.kts
@@ -11,6 +11,8 @@ plugins {
 val classifier = "z3-${version}-x64-glibc-2.31"
 val library = "z3java-linux-x86-64"
 
+mavenArtifact.nameSuffix = "Linux x86_64"
+
 dependencies {
         z3("Z3Prover:z3:${version}:${classifier}@zip")
 }
diff --git a/z3/subprojects/solver-win32-x86-64/build.gradle.kts b/z3/subprojects/solver-win32-x86-64/build.gradle.kts
index c5fa0421..9e057fa9 100644
--- a/z3/subprojects/solver-win32-x86-64/build.gradle.kts
+++ b/z3/subprojects/solver-win32-x86-64/build.gradle.kts
@@ -11,6 +11,8 @@ plugins {
 val classifier = "z3-${version}-x64-win"
 val library = "z3java-win32-x86-64"
 
+mavenArtifact.nameSuffix = "Win32 x86_64"
+
 dependencies {
         z3("Z3Prover:z3:${version}:${classifier}@zip")
 }
diff --git a/z3/subprojects/solver/build.gradle.kts b/z3/subprojects/solver/build.gradle.kts
index 7e898b3e..38044114 100644
--- a/z3/subprojects/solver/build.gradle.kts
+++ b/z3/subprojects/solver/build.gradle.kts
@@ -14,11 +14,6 @@ val classifier = "z3-${version}-x64-glibc-2.31"
 val extractedClassesDir = layout.buildDirectory.dir("z3-extracted")
 val extractedSourcesDir = layout.buildDirectory.dir("z3-sources")
 
-java {
-        withJavadocJar()
-        withSourcesJar()
-}
-
 val z3Source: Configuration by configurations.creating {
         isCanBeConsumed = false
         isCanBeResolved = true
@@ -81,13 +76,6 @@ tasks.named<Javadoc>("javadoc") {
                 builtBy(extractZ3Source)
                 include("**/*.java")
         })
-        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()
-        }
 }
 
 dependencies {