diff options
Diffstat (limited to 'pkgs/development/tools/parsing')
-rw-r--r-- | pkgs/development/tools/parsing/tree-sitter/default.nix | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/pkgs/development/tools/parsing/tree-sitter/default.nix b/pkgs/development/tools/parsing/tree-sitter/default.nix index 9da09a10e7e..04afd8655e0 100644 --- a/pkgs/development/tools/parsing/tree-sitter/default.nix +++ b/pkgs/development/tools/parsing/tree-sitter/default.nix @@ -2,16 +2,9 @@ , stdenv , fetchgit , fetchFromGitHub -, fetchurl -, writeShellScript , runCommand , which -, formats , rustPlatform -, jq -, nix-prefetch-git -, xe -, curl , emscripten , Security , callPackage @@ -118,10 +111,10 @@ rustPlatform.buildRustPackage { postPatch = lib.optionalString (!webUISupport) '' # remove web interface - sed -e '/pub mod web_ui/d' \ + sed -e '/pub mod playground/d' \ -i cli/src/lib.rs - sed -e 's/web_ui,//' \ - -e 's/web_ui::serve(¤t_dir.*$/println!("ERROR: web-ui is not available in this nixpkgs build; enable the webUISupport"); std::process::exit(1);/' \ + sed -e 's/playground,//' \ + -e 's/playground::serve(¤t_dir.*$/println!("ERROR: web-ui is not available in this nixpkgs build; enable the webUISupport"); std::process::exit(1);/' \ -i cli/src/main.rs ''; |