From fa91af50ae7cda2f30f53bdae6decaaae613ecc2 Mon Sep 17 00:00:00 2001
From: Peter Goodman <peter@trailofbits.com>
Date: Fri, 2 Aug 2024 11:52:45 -0400
Subject: [PATCH] Update ci.yml

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 83db4ad3d..e74e721bc 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -92,6 +92,7 @@ jobs:
             -DCMAKE_SHARED_LINKER_FLAGS="--ld-path=$(which ld.lld-${LLVM_VER})" \
             -DCMAKE_C_COMPILER="$(which clang-${LLVM_VER})" \
             -DCMAKE_CXX_COMPILER="$(which clang++-${LLVM_VER})" \
+            -DCMAKE_MAKE_PROGRAM="$(which ninja)" \
             -DClang_DIR=${LLVM_PREFIX_DIR}/lib/cmake/clang \
             -DLLVM_DIR=${LLVM_PREFIX_DIR}/lib/cmake/llvm \
             -DMLIR_DIR=${LLVM_PREFIX_DIR}/lib/cmake/mlir \