Closed alanvgreen closed 2 years ago
Thanks for debugging @alanvgreen -- should be an easy fix.
Actually it's not quite what I was expecting. I didn't realize, or forgot, that our setup script would grab the yosys package via apt. It should never do that, whether in CI, or when a user is setting up.
I've appended commits to #466 to ./scripts/setup to do a local binary install of Yosys in if there is no system version, or if the system version is too old. This takes a few seconds.
I also considered and rejected:
The github CI seems to install yosys from Ubuntu with a pre-0.10 version number:
This is blocking the nMigen to Amaranth migration (#466) because Amaranth requires yosys >= 0.10.