yosys: set YOSYS_PLUGIN_PATH in withPlugins (#495693)

2026-05-23 01:06:57 +00:00
parent 4ee5ee9c50 60270b0be2
commit a4044189e2
1 changed files with 1 additions and 0 deletions
@@ -50,6 +50,7 @@ let
      postBuild = ''
        wrapProgram $out/bin/yosys \
          --set YOSYS_PATH $out/share/yosys \
+          --set YOSYS_PLUGIN_PATH ${pluginPath} \
          ${module_flags}
      '';
      meta.mainProgram = "yosys";