Fix release builds (UnitTestBot#136)

* Fix native artifact jar file name * Upgrade version to 0.5.11
dee-tree · Oct 24, 2023 · d110acf · d110acf
1 parent edae365
commit d110acf
Show file tree

Hide file tree

Showing 8 changed files with 26 additions and 14 deletions.
diff --git a/README.md b/README.md
@@ -11,7 +11,7 @@ Get the most out of SMT solving with KSMT features:
 * Streamlined [solver delivery](#ksmt-distribution) with no need for building a solver or implementing JVM bindings
 
 [![KSMT: build](https://github.com/UnitTestBot/ksmt/actions/workflows/build-and-run-tests.yml/badge.svg)](https://github.com/UnitTestBot/ksmt/actions/workflows/build-and-run-tests.yml)
-[![Maven Central](https://img.shields.io/maven-central/v/io.ksmt/ksmt-core)](https://central.sonatype.com/artifact/io.ksmt/ksmt-core/0.5.10)
+[![Maven Central](https://img.shields.io/maven-central/v/io.ksmt/ksmt-core)](https://central.sonatype.com/artifact/io.ksmt/ksmt-core/0.5.11)
 [![javadoc](https://javadoc.io/badge2/io.ksmt/ksmt-core/javadoc.svg)](https://javadoc.io/doc/io.ksmt/ksmt-core)
 
 ## Get started
@@ -20,9 +20,9 @@ To start using KSMT, install it via [Gradle](https://gradle.org/):
 
 ```kotlin
 // core 
-implementation("io.ksmt:ksmt-core:0.5.10")
+implementation("io.ksmt:ksmt-core:0.5.11")
 // z3 solver
-implementation("io.ksmt:ksmt-z3:0.5.10")
+implementation("io.ksmt:ksmt-z3:0.5.11")
 ```
 
 Find basic instructions in the [Getting started](docs/getting-started.md) guide and try it out with the 

diff --git a/buildSrc/src/main/kotlin/io.ksmt.ksmt-base.gradle.kts b/buildSrc/src/main/kotlin/io.ksmt.ksmt-base.gradle.kts
@@ -11,7 +11,7 @@ plugins {
 }
 
 group = "io.ksmt"
-version = "0.5.10"
+version = "0.5.11"
 
 repositories {
     mavenCentral()

diff --git a/docs/getting-started.md b/docs/getting-started.md
@@ -34,7 +34,7 @@ repositories {
 ```kotlin
 dependencies {
     // core 
-    implementation("io.ksmt:ksmt-core:0.5.10")    
+    implementation("io.ksmt:ksmt-core:0.5.11")    
 }
 ```
 
@@ -43,9 +43,9 @@ dependencies {
 ```kotlin
 dependencies {
     // z3 
-    implementation("io.ksmt:ksmt-z3:0.5.10")
+    implementation("io.ksmt:ksmt-z3:0.5.11")
     // bitwuzla
-    implementation("io.ksmt:ksmt-bitwuzla:0.5.10")
+    implementation("io.ksmt:ksmt-bitwuzla:0.5.11")
 }
 ```
 

diff --git a/examples/build.gradle.kts b/examples/build.gradle.kts
@@ -9,11 +9,11 @@ repositories {
 
 dependencies {
     // core
-    implementation("io.ksmt:ksmt-core:0.5.10")
+    implementation("io.ksmt:ksmt-core:0.5.11")
     // z3 solver
-    implementation("io.ksmt:ksmt-z3:0.5.10")
+    implementation("io.ksmt:ksmt-z3:0.5.11")
     // Runner and portfolio solver
-    implementation("io.ksmt:ksmt-runner:0.5.10")
+    implementation("io.ksmt:ksmt-runner:0.5.11")
 }
 
 java {

diff --git a/ksmt-bitwuzla/ksmt-bitwuzla-native/build.gradle.kts b/ksmt-bitwuzla/ksmt-bitwuzla-native/build.gradle.kts
@@ -39,21 +39,24 @@ dependencies {
 
 bitwuzlaBinaries.entries.forEach { (sourceSet, nativeConfig) ->
     val name = sourceSet.name
+    val artifactName = "ksmt-bitwuzla-native-$name"
     val systemArch = name.replace('-', '/')
 
     val jarTask = tasks.register<Jar>("$name-jar") {
+        archiveBaseName.set(artifactName)
         from(sourceSet.output)
         copyArtifactsIntoJar(nativeConfig, this, "lib/$systemArch/bitwuzla")
     }
 
     val sourcesJarTask = tasks.register<Jar>("$name-sources-jar") {
+        archiveBaseName.set(artifactName)
         archiveClassifier.set("sources")
         from(sourceSet.allSource)
     }
 
     publishing.publications {
         register<MavenPublication>("maven-$name") {
-            artifactId = "ksmt-bitwuzla-native-$name"
+            artifactId = artifactName
 
             artifact(jarTask.get())
             artifact(sourcesJarTask.get())

diff --git a/ksmt-cvc5/ksmt-cvc5-native/build.gradle.kts b/ksmt-cvc5/ksmt-cvc5-native/build.gradle.kts
@@ -39,21 +39,24 @@ dependencies {
 
 cvc5Binaries.entries.forEach { (sourceSet, nativeConfig) ->
     val name = sourceSet.name
+    val artifactName = "ksmt-cvc5-native-$name"
     val systemArch = name.replace('-', '/')
 
     val jarTask = tasks.register<Jar>("$name-jar") {
+        archiveBaseName.set(artifactName)
         from(sourceSet.output)
         copyArtifactsIntoJar(nativeConfig, this, "lib/$systemArch/cvc5")
     }
 
     val sourcesJarTask = tasks.register<Jar>("$name-sources-jar") {
+        archiveBaseName.set(artifactName)
         archiveClassifier.set("sources")
         from(sourceSet.allSource)
     }
 
     publishing.publications {
         register<MavenPublication>("maven-$name") {
-            artifactId = "ksmt-cvc5-native-$name"
+            artifactId = artifactName
 
             artifact(jarTask.get())
             artifact(sourcesJarTask.get())

diff --git a/ksmt-yices/ksmt-yices-native/build.gradle.kts b/ksmt-yices/ksmt-yices-native/build.gradle.kts
@@ -37,21 +37,24 @@ dependencies {
 
 yicesBinaries.entries.forEach { (sourceSet, nativeConfig) ->
     val name = sourceSet.name
+    val artifactName = "ksmt-yices-native-$name"
     val systemArch = name.replace('-', '/')
 
     val jarTask = tasks.register<Jar>("$name-jar") {
+        archiveBaseName.set(artifactName)
         from(sourceSet.output)
         copyArtifactsIntoJar(nativeConfig, this, "lib/$systemArch/yices")
     }
 
     val sourcesJarTask = tasks.register<Jar>("$name-sources-jar") {
+        archiveBaseName.set(artifactName)
         archiveClassifier.set("sources")
         from(sourceSet.allSource)
     }
 
     publishing.publications {
         register<MavenPublication>("maven-$name") {
-            artifactId = "ksmt-yices-native-$name"
+            artifactId = artifactName
 
             artifact(jarTask.get())
             artifact(sourcesJarTask.get())

diff --git a/ksmt-z3/ksmt-z3-native/build.gradle.kts b/ksmt-z3/ksmt-z3-native/build.gradle.kts
@@ -37,9 +37,11 @@ dependencies {
 
 z3Binaries.forEach { (sourceSet, z3BinaryTask, nativeConfig) ->
     val name = sourceSet.name
+    val artifactName = "ksmt-z3-native-$name"
     val systemArch = name.replace('-', '/')
 
     val jarTask = tasks.register<Jar>("$name-jar") {
+        archiveBaseName.set(artifactName)
         from(sourceSet.output)
 
         z3BinaryTask?.let {
@@ -53,13 +55,14 @@ z3Binaries.forEach { (sourceSet, z3BinaryTask, nativeConfig) ->
     }
 
     val sourcesJarTask = tasks.register<Jar>("$name-sources-jar") {
+        archiveBaseName.set(artifactName)
         archiveClassifier.set("sources")
         from(sourceSet.allSource)
     }
 
     publishing.publications {
         register<MavenPublication>("maven-$name") {
-            artifactId = "ksmt-z3-native-$name"
+            artifactId = artifactName
 
             artifact(jarTask.get())
             artifact(sourcesJarTask.get())