diff options
author | Kristóf Marussy <kristof@marussy.com> | 2024-06-23 01:29:49 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2024-06-23 01:29:49 +0200 |
commit | e4492df82fb7881f596aeb6c8dff2931f07cc360 (patch) | |
tree | 4550751b75b1c8d6e000b7cb90a995f7bc48aa93 /z3/buildSrc/src/main | |
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/buildSrc/src/main')
-rw-r--r-- | z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts | 51 |
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 { | |||
11 | } | 11 | } |
12 | 12 | ||
13 | java { | 13 | java { |
14 | withJavadocJar() | ||
15 | withSourcesJar() | ||
16 | |||
14 | toolchain { | 17 | toolchain { |
15 | languageVersion.set(JavaLanguageVersion.of(21)) | 18 | languageVersion.set(JavaLanguageVersion.of(21)) |
16 | } | 19 | } |
@@ -49,17 +52,43 @@ tasks { | |||
49 | jar { | 52 | jar { |
50 | manifest { | 53 | manifest { |
51 | attributes( | 54 | attributes( |
52 | "Bundle-SymbolicName" to "${project.group}.${project.name}", | 55 | "Bundle-SymbolicName" to "${project.group}.${project.name}", |
53 | "Bundle-Version" to project.version | 56 | "Bundle-Version" to project.version |
54 | ) | 57 | ) |
55 | } | 58 | } |
56 | } | 59 | } |
60 | |||
61 | javadoc { | ||
62 | options { | ||
63 | this as StandardJavadocDocletOptions | ||
64 | addBooleanOption("Xdoclint:none", true) | ||
65 | // {@code -Xmaxwarns 0} will print all warnings, so we must keep at least one. | ||
66 | addStringOption("Xmaxwarns", "1") | ||
67 | quiet() | ||
68 | } | ||
69 | } | ||
57 | } | 70 | } |
58 | 71 | ||
72 | open class MavenArtifactExtension { | ||
73 | var nameSuffix: String? = null | ||
74 | } | ||
75 | |||
76 | val artifactExtension = project.extensions.create<MavenArtifactExtension>("mavenArtifact") | ||
77 | |||
59 | publishing.publications { | 78 | publishing.publications { |
60 | register<MavenPublication>("mavenJava") { | 79 | register<MavenPublication>("mavenJava") { |
61 | from(components["java"]) | 80 | from(components["java"]) |
62 | pom { | 81 | pom { |
82 | val nameString = provider { | ||
83 | val prefix = "Z3 Java Bindings" | ||
84 | val nameSuffix = artifactExtension.nameSuffix | ||
85 | if (nameSuffix == null) prefix else "$prefix ($nameSuffix)" | ||
86 | } | ||
87 | name = nameString.map { "Refinery $it" } | ||
88 | description = nameString.map { | ||
89 | "$it for Refinery, an efficient graph solver for generating well-formed models" | ||
90 | } | ||
91 | url = "https://refinery.tools/" | ||
63 | licenses { | 92 | licenses { |
64 | license { | 93 | license { |
65 | name = "MIT License" | 94 | name = "MIT License" |
@@ -70,6 +99,24 @@ publishing.publications { | |||
70 | url = "http://www.apache.org/licenses/LICENSE-2.0.txt" | 99 | url = "http://www.apache.org/licenses/LICENSE-2.0.txt" |
71 | } | 100 | } |
72 | } | 101 | } |
102 | developers { | ||
103 | developer { | ||
104 | name = "The Refinery Authors" | ||
105 | url = "https://refinery.tools/" | ||
106 | } | ||
107 | developer { | ||
108 | name = "Microsoft Corporation" | ||
109 | url = "https://github.com/Z3Prover/z3" | ||
110 | } | ||
111 | } | ||
112 | scm { | ||
113 | connection = "scm:git:https://github.com/graphs4value/refinery.git" | ||
114 | developerConnection = "scm:git:ssh://github.com:graphs4value/refinery.git" | ||
115 | url = "https://github.com/graphs4value/refinery" | ||
116 | } | ||
117 | issueManagement { | ||
118 | url = "https://github.com/graphs4value/refinery/issues" | ||
119 | } | ||
73 | } | 120 | } |
74 | } | 121 | } |
75 | } | 122 | } |