# HG changeset patch
# User wenzelm
# Date 1757365411 -7200
# Node ID ee6a594f0e7e1f3b83f37b1dd5ca57d1b496ca80
# Parent  310f1c728ed2079f19d9150d6a5537311c72ef67
clarified signature: more options;

diff -r 310f1c728ed2 -r ee6a594f0e7e src/Pure/System/nodejs.scala
--- a/src/Pure/System/nodejs.scala	Mon Sep 08 22:43:15 2025 +0200
+++ b/src/Pure/System/nodejs.scala	Mon Sep 08 23:03:31 2025 +0200
@@ -77,9 +77,13 @@
     def path_setup: String =
       "export PATH=" + Bash.string(platform_context.standard_path(bin_dir)) + """:"$PATH""""
 
-    def install(name: String): Unit = {
+    def install(name: String, production: Boolean = false): Unit = {
       progress.echo("Installing " + name + " ...")
-      Isabelle_System.bash(path_setup + "\nnpm install -g " + Bash.string(name), cwd = path).check
+      Isabelle_System.bash(
+        Library.make_lines(
+          path_setup,
+          "npm install --global " + if_proper(production, "--production ") + Bash.string(name)),
+        cwd = path).check
     }
   }