Use appropriate objcopy on macos.

This commit is contained in:
Alejandro Cabeza Romero 2026-04-08 17:11:13 +02:00
parent 2130314463
commit 39d12949e9
No known key found for this signature in database
GPG Key ID: DA3D14AE478030FD
2 changed files with 4 additions and 4 deletions

View File

@ -9,11 +9,11 @@ endif
CXX := g++
CXXFLAGS_COMMON := -std=c++11 -O3 -I. -Wno-address-of-packed-member
UNAME_S := $(shell uname -s)
MACOS_OBJCOPY := /opt/homebrew/opt/llvm/bin/llvm-objcopy
MACOS_OBJCOPY := /opt/homebrew/bin/gobjcopy
ifeq ($(UNAME_S),Darwin)
# On macOS CI we expect llvm-objcopy from Homebrew LLVM at this exact path.
# On macOS CI we expect GNU objcopy from Homebrew binutils at this exact path.
ifeq ($(wildcard $(MACOS_OBJCOPY)),)
$(error Missing $(MACOS_OBJCOPY). Install LLVM with Homebrew or update OBJCOPY for this environment.)
$(error Missing $(MACOS_OBJCOPY). Install binutils with Homebrew or update OBJCOPY for this environment.)
endif
OBJCOPY := $(MACOS_OBJCOPY)
else

View File

@ -923,7 +923,7 @@ jobs:
run: mkdir include
- name: Install Dependencies [Witness Generator]
run: brew install nlohmann-json llvm
run: brew install nlohmann-json binutils
- name: Install Dependencies [Prover]
run: brew install nasm m4