CI: Use CaDiCaL on Windows

We should also build solvers others than MiniSat on Windows.

Author: tautschnig

.github/workflows/pull-request-checks.yaml

@@ -730,7 +730,7 @@ jobs:
           echo "CLCACHE_BASEDIR=$((Get-Item -Path '.\').FullName)" >> $env:GITHUB_ENV
           echo "CLCACHE_DIR=$pwd\.ccache" >> $env:GITHUB_ENV
       - name: Configure with cmake
-        run: cmake -S . -B build
+        run: cmake -S . -B build -Dsat_impl="minisat2;cadical"
       - name: Zero ccache stats and limit in size (2 GB)
         run: |
           clcache -z
@@ -858,7 +858,7 @@ jobs:
           echo "CLCACHE_BASEDIR=$((Get-Item -Path '.\').FullName)" >> $env:GITHUB_ENV
           echo "CLCACHE_DIR=$pwd\.ccache" >> $env:GITHUB_ENV
       - name: Configure with cmake
-        run: cmake -S . -B build
+        run: cmake -S . -B build -Dsat_impl="minisat2;cadical"
       - name: Build Release
         run: cmake --build build --config Release -- /p:UseMultiToolTask=true /p:CLToolExe=clcache
       - name: Print ccache stats

src/solvers/CMakeLists.txt

@@ -124,7 +124,7 @@ foreach(SOLVER ${sat_impl})
             URL https://github.com/arminbiere/cadical/archive/rel-2.0.0.tar.gz
             PATCH_COMMAND patch -p1 -i ${CBMC_SOURCE_DIR}/../scripts/cadical-2.0.0-patch
             COMMAND cmake -E copy ${CBMC_SOURCE_DIR}/../scripts/cadical_CMakeLists.txt CMakeLists.txt
-            COMMAND ./configure
+            COMMAND ${CMAKE_BINARY_DIR}/cadical-src/configure
             URL_MD5 9fc2a66196b86adceb822a583318cc35
         )
 
@@ -146,7 +146,7 @@ foreach(SOLVER ${sat_impl})
         download_project(PROJ cadical
             URL https://github.com/arminbiere/cadical/archive/rel-2.0.0.tar.gz
             PATCH_COMMAND patch -p1 -i ${CBMC_SOURCE_DIR}/../scripts/cadical-2.0.0-patch
-            COMMAND ./configure
+            COMMAND ${CMAKE_BINARY_DIR}/cadical-src/configure
             URL_MD5 9fc2a66196b86adceb822a583318cc35
         )