Add javadoc

UnitTestBot · Apr 29, 2023 · c3d58b4 · c3d58b4
1 parent 3f40d6c
commit c3d58b4
Show file tree

Hide file tree

Showing 9 changed files with 21 additions and 7 deletions.
diff --git a/buildSrc/build.gradle.kts b/buildSrc/build.gradle.kts
@@ -14,6 +14,7 @@ val versions = loadProperties(rootDir.parentFile.resolve("version.properties").a
 
 dependencies {
     implementation("org.jetbrains.kotlin:kotlin-gradle-plugin:${versions["kotlin"]}")
+    implementation("org.jetbrains.dokka:dokka-gradle-plugin:${versions["kotlin"]}")
     implementation("io.gitlab.arturbosch.detekt:detekt-gradle-plugin:${versions["detekt"]}")
     implementation("de.undercouch.download:de.undercouch.download.gradle.plugin:5.1.0")
 }

diff --git a/buildSrc/src/main/kotlin/Publications.kt b/buildSrc/src/main/kotlin/Publications.kt
@@ -1,6 +1,7 @@
-import gradle.kotlin.dsl.accessors._ae88b9d82f8aca71ffa5505af25c0c3d.signing
+import gradle.kotlin.dsl.accessors._87b80c14bf1c4d505c7a71d7741e0994.signing
 import org.gradle.api.Project
 import org.gradle.api.publish.maven.MavenPublication
+import org.gradle.kotlin.dsl.get
 
 fun MavenPublication.addKsmtPom() {
     pom {
@@ -53,3 +54,8 @@ fun MavenPublication.signKsmtPublication(project: Project) = with(project) {
         }
     }
 }
+
+fun MavenPublication.addSourcesAndJavadoc(project: Project) {
+    artifact(project.tasks["kotlinSourcesJar"])
+    artifact(project.tasks["dokkaJavadocJar"])
+}
diff --git a/buildSrc/src/main/kotlin/io.ksmt.ksmt-base.gradle.kts b/buildSrc/src/main/kotlin/io.ksmt.ksmt-base.gradle.kts
@@ -4,6 +4,7 @@ plugins {
     kotlin("jvm")
     id("io.gitlab.arturbosch.detekt")
     id("de.undercouch.download")
+    id("org.jetbrains.dokka")
     `java-library`
     `maven-publish`
     signing
@@ -43,6 +44,12 @@ tasks.withType<Test> {
     systemProperty("junit.jupiter.execution.parallel.enabled", true)
 }
 
+tasks.register<Jar>("dokkaJavadocJar") {
+    dependsOn(tasks.dokkaJavadoc)
+    from(tasks.dokkaJavadoc.flatMap { it.outputDirectory })
+    archiveClassifier.set("javadoc")
+}
+
 publishing {
     repositories {
         maven {

diff --git a/ksmt-bitwuzla/build.gradle.kts b/ksmt-bitwuzla/build.gradle.kts
@@ -38,9 +38,9 @@ publishing {
     publications {
         create<MavenPublication>("maven") {
             from(components["java"])
-            artifact(tasks["kotlinSourcesJar"])
 
             addKsmtPom()
+            addSourcesAndJavadoc(project)
             signKsmtPublication(project)
         }
     }

diff --git a/ksmt-core/build.gradle.kts b/ksmt-core/build.gradle.kts
@@ -17,9 +17,9 @@ publishing {
     publications {
         create<MavenPublication>("maven") {
             from(components["java"])
-            artifact(tasks["kotlinSourcesJar"])
 
             addKsmtPom()
+            addSourcesAndJavadoc(project)
             signKsmtPublication(project)
         }
     }

diff --git a/ksmt-cvc5/build.gradle.kts b/ksmt-cvc5/build.gradle.kts
@@ -54,9 +54,9 @@ publishing {
     publications {
         create<MavenPublication>("maven") {
             project.shadow.component(this)
-            artifact(tasks["kotlinSourcesJar"])
 
             addKsmtPom()
+            addSourcesAndJavadoc(project)
             signKsmtPublication(project)
         }
     }

diff --git a/ksmt-runner/build.gradle.kts b/ksmt-runner/build.gradle.kts
@@ -102,9 +102,9 @@ publishing {
     publications {
         create<MavenPublication>("maven") {
             from(components["java"])
-            artifact(tasks["kotlinSourcesJar"])
 
             addKsmtPom()
+            addSourcesAndJavadoc(project)
             signKsmtPublication(project)
         }
     }

diff --git a/ksmt-yices/build.gradle.kts b/ksmt-yices/build.gradle.kts
@@ -52,9 +52,9 @@ publishing {
     publications {
         create<MavenPublication>("maven") {
             project.shadow.component(this)
-            artifact(tasks["kotlinSourcesJar"])
 
             addKsmtPom()
+            addSourcesAndJavadoc(project)
             signKsmtPublication(project)
         }
     }

diff --git a/ksmt-z3/build.gradle.kts b/ksmt-z3/build.gradle.kts
@@ -75,9 +75,9 @@ publishing {
     publications {
         create<MavenPublication>("maven") {
             project.shadow.component(this)
-            artifact(tasks["kotlinSourcesJar"])
 
             addKsmtPom()
+            addSourcesAndJavadoc(project)
             signKsmtPublication(project)
         }
     }