CI: Build yices binaries for the tests

Author: daniel-raffler

.github/workflows/ci.yml

@@ -102,7 +102,10 @@ jobs:
         run: ant publish-yices2 -Dyices2.version=2.8.0-prerelease
 
       - name: Build project
-        run: ant build
+        run: |
+          ant -Dyices.module="javasmt-solver-yices2" -Dyices.version="2.8.0-prerelease" -Dyices.configuration="runtime-yices2->solver-yices2"
+          ant publish-artifacts-yices2 -Dversion=yices2.8-prerelease -Dyices.module="javasmt-solver-yices2" -Dyices.version="2.8.0-prerelease" -Dyices.configuration="runtime->solver-yices2"
+          ant publish -Dversion=yices-prerelease -Dyices.module="javasmt-yices2" -Dyices.version="yices2.8-prerelease" -Dyices.configuration="runtime-yices2->runtime; contrib->sources"
 
       - name: Prepare native libraries
         run: |
@@ -112,7 +115,7 @@ jobs:
           find $SEARCH_PATH -name "*.dylib" -exec cp {} "lib/native/$ARCH_DIR/" \;
 
       - name: Run tests
-        run: ant unit-tests-quick
+        run: ant unit-tests-quick -Dyices.module="javasmt-yices2" -Dyices.version="yices2.8-prerelease" -Dyices.conf="runtime-yices2->runtime; contrib->sources"
 
       - name: Archive Test Results
         uses: actions/upload-artifact@v6

lib/ivy.xml

@@ -202,7 +202,7 @@ SPDX-License-Identifier: Apache-2.0
         <dependency org="org.sosy_lab" name="javasmt-solver-z3-legacy" rev="4.5.0-gd57a2a6dc" conf="runtime-z3-legacy-x64->solver-z3-legacy-x64; runtime-z3-legacy-arm64->solver-z3-legacy-arm64" />
 
         <!-- additional JavaSMT components with Solver Binaries -->
-        <dependency org="org.sosy_lab" name="javasmt-yices2" rev="5.0.1-722-g90a66d7fa" conf="runtime-yices2->runtime; contrib->sources" />
+        <dependency org="org.sosy_lab" name="${yices.module}" rev="${yices.version}" conf="${yices.configuration}"/>
 
         <!-- Several JARs declare animal-sniffer-annotations.jar as dependency in their manifest, although they do not really need it.
              As long as this is the case we need to provide the JAR, otherwise javac complains. -->