From 61ff6d1be784ebd45cd7e3a1526df73d5f6fb36e Mon Sep 17 00:00:00 2001
From: Alejandro Cabeza Romero <alex93cabeza@gmail.com>
Date: Thu, 21 May 2026 12:47:26 +0200
Subject: [PATCH] Show llvm-objcopy in PATH in macos.

---
 .github/actions/compile-witness-generator/action.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/actions/compile-witness-generator/action.yml b/.github/actions/compile-witness-generator/action.yml
index 16a5866..5aa0e32 100644
--- a/.github/actions/compile-witness-generator/action.yml
+++ b/.github/actions/compile-witness-generator/action.yml
@@ -104,6 +104,11 @@ runs:
         if [ "$OS" = "macos" ]; then SED_I="sed -i ''"; fi
         $SED_I ':a;N;$!ba;s/\n}\n\n*$/\n  return 0;\n}/' "${CIRCUIT_CPP_PATH}/main.cpp"
 
+    - name: Set up LLVM tools (macOS)
+      if: ${{ inputs.os == 'macos' }}
+      shell: bash
+      run: echo "$(brew --prefix llvm)/bin" >> "$GITHUB_PATH"
+
     # TODO: Instead of insertion, make a fork that includes the appropriate patch (or the actual fix)
     - name: Patch MacOS GMP
       shell: bash