build: package Z3 solver native libraries

2 files changed, 8 insertions, 1 deletions

diff --git a/buildSrc/src/main/kotlin/tools/refinery/gradle/internal/java-conventions.gradle.kts b/buildSrc/src/main/kotlin/tools/refinery/gradle/internal/java-conventions.gradle.kts
index 3df17d67..b149a483 100644
--- a/buildSrc/src/main/kotlin/tools/refinery/gradle/internal/java-conventions.gradle.kts
+++ b/buildSrc/src/main/kotlin/tools/refinery/gradle/internal/java-conventions.gradle.kts
@@ -101,6 +101,14 @@ tasks {
 publishing.publications {
         create<MavenPublication>("mavenJava") {
                 from(components["java"])
+                pom {
+                        licenses {
+                                license {
+                                        name = "Eclipse Public License - v 2.0"
+                                        url = "https://www.eclipse.org/legal/epl-2.0/"
+                                }
+                        }
+                }
         }
 }
 
diff --git a/buildSrc/src/main/kotlin/tools/refinery/gradle/interpreter-library.gradle.kts b/buildSrc/src/main/kotlin/tools/refinery/gradle/interpreter-library.gradle.kts
index ae30ff1b..8bafa1a5 100644
--- a/buildSrc/src/main/kotlin/tools/refinery/gradle/interpreter-library.gradle.kts
+++ b/buildSrc/src/main/kotlin/tools/refinery/gradle/interpreter-library.gradle.kts
@@ -8,7 +8,6 @@ package tools.refinery.gradle
 import tools.refinery.gradle.utils.SonarPropertiesUtils
 
 plugins {
-        id("maven-publish")
         id("tools.refinery.gradle.java-library")
         id("tools.refinery.gradle.sonarqube")
 }