Does synlig plugin attempt to load write_ilang ?

[hzeller]

When attempting to load the synlig plugin, yosys errors out complaining that write_ilang pass already exists, as if the synlig plugin recusively attempts to load that other plugin ?

yosys> plugin -i path/to/systemverilog.so
Warning: Using synlig as yosys plugin is deprecated. It is recommended to build synlig as standalone binary.
ERROR: Unable to register pass 'write_ilang', pass already exists!

[kamilrakoczy]

Yosys recently dropped read/write_ilang alias: YosysHQ/yosys#4704

We added this alias back on synlig side when we were updating yosys version: #2668.

In #2685 we added check if this pass is already registered and only register this alias if it isn't.

We encourage users to use synlig as as standalone binary to make sure we don't see such issues.

[hzeller]

Thanks.
Right now I need the plug-in feature as I am maintaining the NixOS package, and having a smoothly working plugin that works with an existing Yosys is preferrable from the packaging point-of-view than pulling in a vendored yosys.