allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix(infra): configure sparkle build script to support system path fallback

Browse source 
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)
This commit is contained in:
Brandon Schneider 2026-05-28 15:03:17 -05:00
parent a3b298230b
commit 0912d5b130
2 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
0-Core-Formalism/lean/Semantics/AGENTS.md
View file

@ -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).

2
4-Infrastructure/hardware/sparkle/tangnano9k/build_sparkle_tangnano9k.sh
View file

@ -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