older newer index
the #nextpnr home page explains how to invoke it so that you get a file you can feed to iceprog: it’s nextpnr-ice40 --json input.json --asc output.asc. This took me a long time (and help from Gemma) to find.
iceprog
nextpnr-ice40 --json input.json --asc output.asc