Xiretza

No worries, I just opened the issue to get a discussion going, I'm not in a hurry.

This project overrides the global `build_ext`: https://github.com/diegoferigo/cmake-build-extension/blob/2c3d822e40fe3fd2d769ad09dba367e6617dcc82/example/setup.py#L106 As far as I can tell there can only be one `build_ext`, and if it filters out all modules it isn't specifically designed...

Not really. `BuildExtension.run()` should probably call `super().run()` at some point, but that will of course try to build and install the `CMakeExtension`s as well.

The same issue occurs for xc7a35tcsg324-1 with pins U12 and V12. On the Arty-A7 board, these should correspond to `PMOD_C[0]` and `PMOD_C[1]`, but nextpnr-xilinx reverses them. All other PMOD pins...

No, I hadn't looked at this - the problem seems to be that the requirements.txt specifies `aioredis==2.0.1`, even though the code is only compatible with the legacy 1.x releases. There...

Yes, but apparently those notifications don't convey the possibility of data loss clearly enough, since a user has just run into this.

I haven't had time to actualy test this yet, so I'll keep it a draft for now unless you're sure this is correct.

See also #3162.

[This](https://play.rust-lang.org/?version=nightly&mode=debug&edition=2021&gist=fa355b504be40dfc36d6e99f4c465746) seems to be the current incantation. As mentioned, the `Pred` trick doesn't work as-is, but does with an indirection through a trait impl.

#2665 was merged 6 days ago, the latest links are still not being updated. What's the current status here? Maybe the links themselves have changed with the Symbiflow->F4PGA rename?