CI: Build yices binaries for the tests

Author: daniel-raffler

.github/workflows/ci.yml

@@ -46,7 +46,7 @@ jobs:
           sudo apt-get install -y ant
 
       - name: Download Dependencies
-        run: ant build-dependencies
+        run: ant build-dependencies -Dyices2.version=2.8.0-prerelease -Dyices.module="javasmt-yices2" -Dyices.version="5.0.1-722-g90a66d7fa" -Dyices.configuration="runtime-yices2->runtime; contrib->sources"
 
   macos:
     name: macOS (${{ matrix.arch }}, Java ${{ matrix.java-version }})
@@ -91,18 +91,21 @@ jobs:
           mkdir repository
           echo "ivy.repo.url=file://${user.dir}/repository" >> build.properties
 
-      - name: Build Yices binaries
-        run: |
-          ant build-yices2-java-mac
+      #- name: Build Yices binaries
+      #  run: |
+      #    ant build-yices2-java-mac
 
       #- name: Show dependencies
       #  run: otool -L downloads/yices2_java_bindings/dist/lib/libyices2java.dylib
 
-      - name: Publish Yices binaries
-        run: ant publish-yices2 -Dyices2.version=2.8.0-prerelease
+      - name: Build Yices binaries
+        run: ant publish-yices2 -Dyices2.version=2.8.0-prerelease -Dyices.module="javasmt-yices2" -Dyices.version="yices2.8-prerelease" -Dyices.configuration="runtime-yices2->runtime; contrib->sources"
 
       - 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.configuration="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. -->