Update build (#66)

Author: msoos

.github/workflows/build.yml

@@ -12,7 +12,7 @@ jobs:
       fail-fast: false
 
       matrix:
-        os: [ubuntu-latest, macos-14, ubuntu-24.04-arm, macos-15-intel]
+        os: [ubuntu-latest, macos-15, ubuntu-24.04-arm, macos-15-intel]
         build_type: [Release]
         staticcompile: [ON, OFF]
 
@@ -114,6 +114,18 @@ jobs:
         cmake -DCMAKE_BUILD_TYPE=${{ matrix.build_type }} -DENABLE_TESTING=OFF -DSTATICCOMPILE=${{ matrix.staticcompile }} ..
         cd ../..
 
+    - name: Copy cadiback and cadical libs
+      if: matrix.staticcompile == 'OFF'
+      run: |
+       sudo cp cadiback/libcadiback.so .
+       sudo cp cadical/build/libcadical.so .
+
+    - name: Copy cadiback and cadical libs
+      if: matrix.staticcompile == 'OFF' && contains(matrix.os, 'ubuntu')
+      run: |
+       sudo cp cadiback/libcadiback.so /usr/lib/
+       sudo cp cadical/build/libcadical.so /usr/lib/
+
     - name: Checkout CMS
       uses: actions/checkout@v4
       with:
@@ -246,6 +258,16 @@ jobs:
     - name: Test
       run: ctest -C ${{matrix.build_type}} --verbose
 
+    - name: run it to check it executes
+      run: |
+        echo "Running version command"
+        ./project/build/approxmc --version
+        echo $?
+        echo "Running help command"
+        ./project/build/approxmc --help
+        echo $?
+
+
     - name: Upload Artifact - Linux
       if: matrix.os == 'ubuntu-latest' && matrix.staticcompile == 'ON'
       uses: actions/upload-artifact@v4