A package issue about yosys with plugins yoys-synlig

[dinduck]

env

• nixpkgs - 24.05

There i see https://github.com/NixOS/nixpkgs/tree/nixos-24.05/pkgs/development/compilers/yosys

where i use yosys.withPlugins to add synlig

{
  inputs = {
    nixpkgs.url = "github:NixOS/nixpkgs/nixos-24.05";
    flake-utils.url = "github:numtide/flake-utils";
  };
  outputs = {
    self,
    nixpkgs,
    flake-utils,
  }:
    flake-utils.lib.eachDefaultSystem
    (
      system: let
        pkgs = import nixpkgs {
          inherit system;
          config.allowBroken = true;
        };
      in {
        # flake contents here
        devShells = {
          default = pkgs.mkShell {
            buildInputs = with pkgs; [
              openfpgaloader
              python312Packages.apycula
              (yosys.withPlugins [yosys-synlig])
              # yosys-synlig
              nextpnrWithGui
            ];
          };
        };
      }
    );
}

when i open yosys

there are 2 choice to solve it in my mind

so the tip is to make plugin's name and $outshare/plugins/.so be in same

T1

alter the pligins filed in synlig.nix

i can use `plugin -i systemverilog' to load it

T2

alter the installPhase to let it named 'synlig.so' same as plugin name

where use plugin -i synlig loaded