From 6431f22c83a790a1afdfa794af60c8c86e8d49b6 Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Tue, 2 Jan 2024 15:46:19 -0500
Subject: [PATCH] Use `cmake` to build CBMC in `regression` jobs

---
 .github/workflows/cbmc-latest.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/cbmc-latest.yml b/.github/workflows/cbmc-latest.yml
index 9cb8082ae4b7..a24110a09666 100644
--- 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