From e2b343a34f787db799bb0442e49b07ef80e5dd28 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sat, 28 Feb 2026 17:27:20 -0800 Subject: [PATCH] Fix macOS build: install ccache, disable pyosys The macOS runner doesn't have ccache or pybind11 pre-installed. Install ccache via brew and disable ENABLE_PYOSYS since we only need the binary tarball (not the wheel) for macOS. Made-with: Cursor --- .github/workflows/release.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 35d2c7319..fe0a64107 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -164,7 +164,8 @@ jobs: - name: Install dependencies run: | - brew install bison flex gperf tcl-tk@8 readline libffi dwarfutils libelf + brew install bison flex gperf tcl-tk@8 readline libffi dwarfutils libelf ccache + pip3 install pybind11 - name: Build Verific tclmain run: | @@ -176,8 +177,8 @@ jobs: run: | set -ex export PATH="$(brew --prefix bison)/bin:$(brew --prefix flex)/bin:$PATH" - make -j$(sysctl -n hw.ncpu) SMALL=1 ENABLE_PLUGINS=0 ENABLE_TCL=1 ENABLE_READLINE=1 PREFIX=/usr/local - make DESTDIR=/tmp/install PREFIX=/usr/local install + make -j$(sysctl -n hw.ncpu) SMALL=1 ENABLE_PLUGINS=0 ENABLE_TCL=1 ENABLE_READLINE=1 ENABLE_PYOSYS=0 PREFIX=/usr/local + make DESTDIR=/tmp/install PREFIX=/usr/local ENABLE_PYOSYS=0 install - name: Package tarball run: |