From 6a7394e29b139dd1510b23209bf4f6b13cad89a8 Mon Sep 17 00:00:00 2001 From: Alejandro Cabeza Romero Date: Wed, 8 Apr 2026 17:50:56 +0200 Subject: [PATCH] Fix gobjcopy. --- .github/resources/witness-generator/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/resources/witness-generator/Makefile b/.github/resources/witness-generator/Makefile index 8b8d0b0..2627880 100644 --- a/.github/resources/witness-generator/Makefile +++ b/.github/resources/witness-generator/Makefile @@ -9,7 +9,7 @@ endif CXX := g++ CXXFLAGS_COMMON := -std=c++11 -O3 -I. -Wno-address-of-packed-member UNAME_S := $(shell uname -s) -MACOS_OBJCOPY := /opt/homebrew/bin/gobjcopy +MACOS_OBJCOPY := /opt/homebrew/opt/binutils/bin/gobjcopy ifeq ($(UNAME_S),Darwin) # On macOS CI we expect GNU objcopy from Homebrew binutils at this exact path. ifeq ($(wildcard $(MACOS_OBJCOPY)),)