--- a/src/Pure/System/nodejs.scala Mon Sep 08 23:03:31 2025 +0200
+++ b/src/Pure/System/nodejs.scala Mon Sep 08 23:55:00 2025 +0200
@@ -79,11 +79,11 @@
def install(name: String, production: Boolean = false): Unit = {
progress.echo("Installing " + name + " ...")
- Isabelle_System.bash(
+ platform_context.execute(path,
Library.make_lines(
path_setup,
- "npm install --global " + if_proper(production, "--production ") + Bash.string(name)),
- cwd = path).check
+ "npm install --global " + if_proper(production, "--production ") + Bash.string(name)
+ )).check
}
}