Use cmake to build CBMC in regression jobs

model-checking · Jan 2, 2024 · 6431f22 · 6431f22
1 parent ee0ff7e
commit 6431f22
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/cbmc-latest.yml b/.github/workflows/cbmc-latest.yml
@@ -45,8 +45,8 @@ jobs:
  - name: Build CBMC
  working-directory: ./cbmc
  run: |
- make -C src minisat2-download cadical-download
- make -C src -j4 MINISAT2=../../minisat-2.2.1 CADICAL=../../cadical
+ cmake -S . -Bbuild -DWITH_JBMC=OFF
+ cmake --build build -- -j 4
  # Prepend the bin directory to $PATH
  echo "${GITHUB_WORKSPACE}/cbmc/build/bin" >> $GITHUB_PATH