Bitwuzla: publish library into Maven repository.

build/build-maven-publish.xml

@@ -154,6 +154,22 @@ SPDX-License-Identifier: Apache-2.0
         <stage-solver-file filename="libz3" fileending="dylib"/>
     </target>
 
+    <target name="stage-bitwuzla" depends="build-dependencies, install-contrib"
+            description="deploy current version of Bitwuzla to Maven staging repository">
+        <!-- get revision from dependencies -->
+        <ivy:artifactproperty name="[artifact].revision" value="[revision]"/>
+        <property name="stage.solver" value="bitwuzla"/>
+        <property name="stage.revision" value="${bitwuzla.revision}"/>
+        <!-- prepare the pom-file -->
+        <generate-solver-pom-file/>
+        <!-- then publish the files -->
+        <stage-solver-file filename="bitwuzla" fileending="jar"/>
+        <stage-solver-file filename="libbitwuzlaj" fileending="so"/>
+        <stage-solver-file filename="libbitwuzlaj" fileending="dll"/>
+        <stage-solver-file filename="bitwuzla-sources" fileending="jar" classifier="sources" filedirectory="lib/java-contrib"/>
+        <stage-solver-file filename="bitwuzla-javadoc" fileending="jar" classifier="javadoc" filedirectory="lib/java-contrib"/>
+    </target>
+
     <target name="stage-boolector" depends="build-dependencies"
             description="deploy current version of Boolector to Maven staging repository">
         <!-- get revision from dependencies -->

solvers_maven_conf/maven_bitwuzla_pom_template.xml

@@ -0,0 +1,62 @@
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+
+<!--
+This file is part of JavaSMT,
+an API wrapper for a collection of SMT solvers:
+https://github.com/sosy-lab/java-smt
+
+SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
+  <modelVersion>4.0.0</modelVersion>
+  <groupId>org.sosy-lab</groupId>
+  <artifactId>javasmt-solver-bitwuzla</artifactId>
+  <packaging>pom</packaging>
+  <name>javasmt-solver-bitwuzla</name>
+  <version>${stage.revision}</version>
+  <description>SMT solver Bitwuzla for use in JavaSMT</description>
+  <url>https://github.com/sosy-lab/java-smt</url>
+
+  <licenses>
+      <license>
+          <name>MIT License</name>
+          <url>https://opensource.org/licenses/MIT</url>
+      </license>
+  </licenses>
+
+  <organization>
+      <name>Software Systems Lab</name>
+      <url>https://www.sosy-lab.org/</url>
+  </organization>
+
+  <scm>
+      <url>https://github.com/sosy-lab/java-smt/</url>
+      <connection>scm:git:git://github.com/sosy-lab/java-smt.git</connection>
+      <developerConnection>scm:git:[email protected]:sosy-lab/java-smt.git</developerConnection>
+  </scm>
+
+  <developers>
+      <developer>
+          <name>Karlheinz Friedberger</name>
+          <email>[email protected]</email>
+          <organization>Software Systems Lab</organization>
+          <url>https://www.sosy-lab.org/people/friedberger/</url>
+          <roles>
+              <role>project maintainer</role>
+          </roles>
+      </developer>
+      <developer>
+          <name>Dirk Beyer</name>
+          <email>[email protected]</email>
+          <url>https://www.sosy-lab.org/people/beyer/</url>
+          <organization>Software Systems Lab</organization>
+          <organizationUrl>http://www.sosy-lab.org/</organizationUrl>
+          <roles>
+              <role>project manager</role>
+          </roles>
+      </developer>
+  </developers>
+</project>