CI: Print dependencies for Yices library

Author: daniel-raffler

.github/workflows/ci.yml

@@ -95,8 +95,10 @@ jobs:
       - name: Build Yices binaries for macOS
         run: ant publish-yices2-macOS -Dyices2.version=2.8.0-prerelease
 
-      #- name: Show dependencies
-      #  run: otool -L downloads/yices2_java_bindings/dist/lib/libyices2java.dylib
+      - name: Show Yices library dependencies
+        run: |
+          ARCH_DIR="${{ matrix.arch == 'arm64' && 'arm64-macosx' || 'x86_64-macosx' }}"
+          otool -L lib/native/$ARCH_DIR/libyices2java.dylib
 
       - name: Copy other native libraries
         run: |