From 944d0b370a319b00127f717738befee2a7520313 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Sat, 28 Feb 2026 13:49:53 -0800
Subject: [PATCH] fix: clean between wheel and tarball builds to avoid TCL
 mismatch

The wheel build uses ENABLE_TCL=0, but the standalone yosys binary
needs ENABLE_TCL=1. Without a clean, stale .o files cause undefined
reference errors for TCL symbols.

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

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 2e88a9a19..026465e54 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -55,7 +55,8 @@ jobs:
               ) python3 setup.py bdist_wheel --dist-dir /src/dist
 
               # Also build the yosys binary + install tarball
-              make -j$(nproc) SMALL=1 ENABLE_PLUGINS=0 PREFIX=/usr/local install
+              make clean
+              make -j$(nproc) SMALL=1 ENABLE_PLUGINS=0 ENABLE_TCL=1 ENABLE_READLINE=1 PREFIX=/usr/local
               make DESTDIR=/tmp/install PREFIX=/usr/local install
               cd /tmp/install
               tar czf /src/yosys-anylinux-amd64.tar.gz .