build: add Maven metadata

6 files changed, 10 insertions, 12 deletions

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 {