If you're on Windows and you want to build on Midnight, the first thing you need to know is that Midnight's toolchain — the Compact compiler, proof server, and the rest — are Linux binaries. They won't run natively on Windows. Full stop.

That doesn't mean you're locked out. Windows has a feature called WSL2 — Windows Subsystem for Linux — that...