(WIP)(RFC) A new nixpkgs frontend for language infrastructures

deliciouslytyped · July 13, 2019, 2:44pm

One more thing: some nontrivial (but typical overlay-y) overlay overriding examples:

deliciouslytyped/nix-ghidra-wip/blob/b8c4562e5d50182f3aa03c908781cab937a853a8/doc/tests/headless-00.nix#L23


      
                  "myGhidra" = self.lib.mkRunline {
                     args = self.config.defaultOpts.args.headless;
                     };
                  };
                };
              }; 
          in
            mkShell {
              name = "ghidra";
              buildInputs = [
                ((ghidra.extend newGh).withPlugins (p: with p; [ ghidra-scala-loader ]))
                ];
              shellHook = ''
                exec myGhidra
                '';
              }

github.com

deliciouslytyped/nix-ghidra-wip/blob/b8c4562e5d50182f3aa03c908781cab937a853a8/doc/tests/gui-02.nix#L31


      
              ghidra = super.ghidra.override {
                extraLaunchers = {
                  "myGhidraDebug" = self.lib.mkRunline { debug = { suspend = true; }; };
                  };
                };
              }; 
          in
            mkShell {
              name = "ghidra";
              buildInputs = [
                (((ghidra.extend newOpts).extend newGh).withPlugins (p: with p; [ ghidra-scala-loader ]))
                ];
              shellHook = ''
                exec myGhidraDebug
                '';
              }

It looks like I’d probably need to update them a bit though.