Fixing build

Author: msoos

.github/workflows/build.yml

@@ -65,6 +65,7 @@ jobs:
        cd cadical
        CXXFLAGS=-fPIC ./configure --competition
        make -j8
+       sudo cp build/libcadical.so /usr/lib/
        cd ..
 
     - name: Checkout Cadiback
@@ -78,6 +79,7 @@ jobs:
        cd cadiback
        CXX=c++ ./configure
        make -j8
+       sudo cp libcadiback.so /usr/lib/
        cd ..
 
     - name: checkout
@@ -97,6 +99,15 @@ jobs:
         -S ..
         cmake --build . --config ${{matrix.build_type}} -v
 
+    - name: run it to check it executes
+      run: |
+        echo "Running some command : cryptominisat5 --version"
+        ./project/build/cryptominisat5 --version
+        echo $?
+        echo "Running some command: cryptominisat5 --help"
+        ./project/build/cryptominisat5 --help
+        echo $?
+
     - name: Test
       run: ctest -C ${{matrix.build_type}} --verbose