From d62702bd70f8995c3408b736c0e99111cc74d4fa Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Sat, 28 Feb 2026 20:04:59 -0800
Subject: [PATCH] Fix macOS wheel: set MACOSX_DEPLOYMENT_TARGET=11.0

actions/setup-python sets a deployment target older than 10.15,
which makes std::filesystem unavailable. Explicitly set 11.0.

Made-with: Cursor
---
 .github/workflows/release.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 404728a59..b1b765525 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -129,12 +129,14 @@ jobs:
       - name: Build Verific tclmain
         run: |
           export PATH="$(brew --prefix bison)/bin:$(brew --prefix flex)/bin:$PATH"
+          export MACOSX_DEPLOYMENT_TARGET=11.0
           cd verific/tclmain
           make
 
       - name: Build wheel
         run: |
           export PATH="$(brew --prefix bison)/bin:$(brew --prefix flex)/bin:$PATH"
+          export MACOSX_DEPLOYMENT_TARGET=11.0
           _PYOSYS_OVERRIDE_VER=$(
             grep "^YOSYS_VER " Makefile | head -1 | sed "s/.*:= *//" | tr "+" "."
           ) python3 setup.py bdist_wheel --dist-dir dist