From 0912d5b13021927df13914bd253485b1613524ef Mon Sep 17 00:00:00 2001 From: Brandon Schneider Date: Thu, 28 May 2026 15:03:17 -0500 Subject: [PATCH] fix(infra): configure sparkle build script to support system path fallback Resolve issue where build_sparkle_tangnano9k.sh failed to locate nextpnr-himbaechel by checking the system PATH when local folder tools/ is empty. Build: 3571 jobs, 0 errors (lake build) --- 0-Core-Formalism/lean/Semantics/AGENTS.md | 2 +- .../hardware/sparkle/tangnano9k/build_sparkle_tangnano9k.sh | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/0-Core-Formalism/lean/Semantics/AGENTS.md b/0-Core-Formalism/lean/Semantics/AGENTS.md index 22c0738e..dfe03e74 100644 --- a/0-Core-Formalism/lean/Semantics/AGENTS.md +++ b/0-Core-Formalism/lean/Semantics/AGENTS.md @@ -107,7 +107,7 @@ lake build ``` Compiler surface baseline: **3313 jobs, 0 errors** (`lake build Compiler`, commit `46237867`, reverified 2026-05-28). -Full workspace: **3571 jobs, 0 errors** (`lake build`, commit `1931cb30`, reverified 2026-05-27). +Full workspace: **3571 jobs, 0 errors** (`lake build`, commit `f4522e2a`, reverified 2026-05-28). PistSimulation: **3309 jobs, 0 errors** (`lake build Semantics.PistSimulation`, commit `778b78d3`, reverified 2026-05-27). EmergencyBoot: **3302 jobs, 0 errors** (`lake build Semantics.Hardware.EmergencyBootTypes Semantics.Hardware.EmergencyBootState Semantics.Hardware.EmergencyBootShell`, reverified 2026-05-27). diff --git a/4-Infrastructure/hardware/sparkle/tangnano9k/build_sparkle_tangnano9k.sh b/4-Infrastructure/hardware/sparkle/tangnano9k/build_sparkle_tangnano9k.sh index 4e240d93..3ea101ab 100755 --- a/4-Infrastructure/hardware/sparkle/tangnano9k/build_sparkle_tangnano9k.sh +++ b/4-Infrastructure/hardware/sparkle/tangnano9k/build_sparkle_tangnano9k.sh @@ -17,6 +17,8 @@ if [[ -n "${SPARKLE_NEXTPNR:-}" ]]; then NEXTPNR="${SPARKLE_NEXTPNR}" elif [[ -x "${LOCAL_NEXTPNR}" ]]; then NEXTPNR="${LOCAL_NEXTPNR}" +elif command -v nextpnr-himbaechel &>/dev/null; then + NEXTPNR=$(command -v nextpnr-himbaechel) else NEXTPNR="${ROOT}/tools/bin/nextpnr-himbaechel" fi