Updating again README and github-action scripts

Author: marekpiotrow

.github/workflows/macos-build.yml

@@ -25,8 +25,9 @@ jobs:
         cd ..
         git clone https://github.com/arminbiere/cadical
         cd cadical
+        patch -p1 <../uwrmaxsat/cadical.patch
         ./configure
-        make
+        make cadical
     - name: build the MaxPre preprocessor
       run: |
         cd ..

.github/workflows/msys2-build.yml

@@ -35,7 +35,7 @@ jobs:
         cd cadical
         patch -p1 <../uwrmaxsat/cadical.patch
         ./configure
-        make
+        make cadical
     - name: build the MaxPre preprocessor
       run: |
         cd ..

CadicalWrap.h

@@ -85,6 +85,8 @@ class SimpSolver {
             CaDiCaL::Signal::set(&alarm_term);
             solver->connect_terminator(&alarm_term);
         }
+#else
+        (void)limit_time;
 #endif
     }
 

README.md

@@ -26,7 +26,7 @@ Since version 1.7.0 the default SAT solver is changed to CaDiCaL by Armin Biere.
     cd cadical  
     patch -p1 <../uwrmaxsat/cadical.patch  
     ./configure  
-    make  
+    make cadical  
     cd ../uwrmaxsat  
     cp config.cadical config.mk  
     cd ..