From e7e15b612094a9fe977a89cc19b13cea72a3bf20 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sat, 28 Feb 2026 12:20:32 -0800 Subject: [PATCH] fix: add Alpine/musl shims for libtcl and libnsl Verific tclmain links -ltcl and -lnsl. Alpine tcl-dev provides libtcl8.6.so (no libtcl.so symlink), and musl has no libnsl. Create symlink and stub shared lib to satisfy the linker. Made-with: Cursor --- .github/workflows/release.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index c114efc01..a86b2d713 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -38,6 +38,10 @@ jobs: git config --global --add safe.directory /src git submodule foreach --recursive git config --global --add safe.directory \$toplevel/\$sm_path + # Alpine/musl compatibility shims for Verific tclmain link step + ln -sf /usr/lib/libtcl8.6.so /usr/lib/libtcl.so + echo "void dummy_nsl(void){}" | gcc -shared -o /usr/lib/libnsl.so -x c - + # Build Verific TCL main (needed before Yosys) cd /src/verific/tclmain make