Commit 5768ab9e authored by Qiming Chu's avatar Qiming Chu
Browse files

yosys: add meta.mainProgram to withPlugins



* Set withPlugins meta.mainProgram to "yosys" for proper binary
identification

Signed-off-by: default avatarQiming Chu <cchuqiming@gmail.com>
parent 90aa61a8
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -76,6 +76,7 @@ let
          --set NIX_YOSYS_PLUGIN_DIRS $out/share/yosys/plugins \
          ${module_flags}
      '';
      meta.mainProgram = "yosys";
    });

  allPlugins = {