diff options
author | 2024-06-23 01:29:49 +0200 | |
---|---|---|
committer | 2024-06-23 01:29:49 +0200 | |
commit | e4492df82fb7881f596aeb6c8dff2931f07cc360 (patch) | |
tree | 4550751b75b1c8d6e000b7cb90a995f7bc48aa93 /z3/subprojects | |
parent | refactor(dse): expose state coder parameters (diff) | |
download | refinery-e4492df82fb7881f596aeb6c8dff2931f07cc360.tar.gz refinery-e4492df82fb7881f596aeb6c8dff2931f07cc360.tar.zst refinery-e4492df82fb7881f596aeb6c8dff2931f07cc360.zip |
build: add Maven metadata
Diffstat (limited to 'z3/subprojects')
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 { | |||
11 | val classifier = "z3-${version}-arm64-osx-11.0" | 11 | val classifier = "z3-${version}-arm64-osx-11.0" |
12 | val library = "z3java-darwin-aarch64" | 12 | val library = "z3java-darwin-aarch64" |
13 | 13 | ||
14 | mavenArtifact.nameSuffix = "Darwin aarch64" | ||
15 | |||
14 | dependencies { | 16 | dependencies { |
15 | z3("Z3Prover:z3:${version}:${classifier}@zip") | 17 | z3("Z3Prover:z3:${version}:${classifier}@zip") |
16 | } | 18 | } |
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 { | |||
11 | val classifier = "z3-${version}-x64-osx-10.16" | 11 | val classifier = "z3-${version}-x64-osx-10.16" |
12 | val library = "z3java-darwin-x86-64" | 12 | val library = "z3java-darwin-x86-64" |
13 | 13 | ||
14 | mavenArtifact.nameSuffix = "Darwin x86_64" | ||
15 | |||
14 | dependencies { | 16 | dependencies { |
15 | z3("Z3Prover:z3:${version}:${classifier}@zip") | 17 | z3("Z3Prover:z3:${version}:${classifier}@zip") |
16 | } | 18 | } |
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 { | |||
8 | id("tools.refinery.z3.gradle.java-library") | 8 | id("tools.refinery.z3.gradle.java-library") |
9 | } | 9 | } |
10 | 10 | ||
11 | mavenArtifact.nameSuffix = "Linux aarch64" | ||
12 | |||
11 | tasks.jar { | 13 | tasks.jar { |
12 | // License information is redundant here, since it already gets added to the POM. | 14 | // License information is redundant here, since it already gets added to the POM. |
13 | exclude("**/*.license") | 15 | 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 { | |||
11 | val classifier = "z3-${version}-x64-glibc-2.31" | 11 | val classifier = "z3-${version}-x64-glibc-2.31" |
12 | val library = "z3java-linux-x86-64" | 12 | val library = "z3java-linux-x86-64" |
13 | 13 | ||
14 | mavenArtifact.nameSuffix = "Linux x86_64" | ||
15 | |||
14 | dependencies { | 16 | dependencies { |
15 | z3("Z3Prover:z3:${version}:${classifier}@zip") | 17 | z3("Z3Prover:z3:${version}:${classifier}@zip") |
16 | } | 18 | } |
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 { | |||
11 | val classifier = "z3-${version}-x64-win" | 11 | val classifier = "z3-${version}-x64-win" |
12 | val library = "z3java-win32-x86-64" | 12 | val library = "z3java-win32-x86-64" |
13 | 13 | ||
14 | mavenArtifact.nameSuffix = "Win32 x86_64" | ||
15 | |||
14 | dependencies { | 16 | dependencies { |
15 | z3("Z3Prover:z3:${version}:${classifier}@zip") | 17 | z3("Z3Prover:z3:${version}:${classifier}@zip") |
16 | } | 18 | } |
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" | |||
14 | val extractedClassesDir = layout.buildDirectory.dir("z3-extracted") | 14 | val extractedClassesDir = layout.buildDirectory.dir("z3-extracted") |
15 | val extractedSourcesDir = layout.buildDirectory.dir("z3-sources") | 15 | val extractedSourcesDir = layout.buildDirectory.dir("z3-sources") |
16 | 16 | ||
17 | java { | ||
18 | withJavadocJar() | ||
19 | withSourcesJar() | ||
20 | } | ||
21 | |||
22 | val z3Source: Configuration by configurations.creating { | 17 | val z3Source: Configuration by configurations.creating { |
23 | isCanBeConsumed = false | 18 | isCanBeConsumed = false |
24 | isCanBeResolved = true | 19 | isCanBeResolved = true |
@@ -81,13 +76,6 @@ tasks.named<Javadoc>("javadoc") { | |||
81 | builtBy(extractZ3Source) | 76 | builtBy(extractZ3Source) |
82 | include("**/*.java") | 77 | include("**/*.java") |
83 | }) | 78 | }) |
84 | options { | ||
85 | this as StandardJavadocDocletOptions | ||
86 | addBooleanOption("Xdoclint:none", true) | ||
87 | // {@code -Xmaxwarns 0} will print all warnings, so we must keep at least one. | ||
88 | addStringOption("Xmaxwarns", "1") | ||
89 | quiet() | ||
90 | } | ||
91 | } | 79 | } |
92 | 80 | ||
93 | dependencies { | 81 | dependencies { |