# HG changeset patch
# User wenzelm
# Date 1757695103 -7200
# Node ID 9c7446adfbc64417f02decd88bc8fd3acf48b178
# Parent  c87375585b9faeb3d680fef4fcf0f11984d43d7b
more robust build, with proper rebuild of node-pty;

diff -r c87375585b9f -r 9c7446adfbc6 src/Tools/VSCode/src/component_vscodium.scala
--- a/src/Tools/VSCode/src/component_vscodium.scala	Fri Sep 12 17:31:38 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala	Fri Sep 12 18:38:23 2025 +0200
@@ -69,9 +69,7 @@
       "VSCODE_LATEST=no",
       "CI_BUILD=no",
       "SKIP_ASSETS=yes",
-      "SHOULD_BUILD=yes",
-      "SHOULD_BUILD_REH=no",
-      "SHOULD_BUILD_REH_WEB=no")
+      "SHOULD_BUILD=yes")
 
   def build_upstream_env(dir: Path): List[String] = {
     val str = File.read(dir + Path.explode("upstream/stable.json"))
@@ -480,7 +478,7 @@
 
 * x86_64-windows with Cygwin-Terminal, using prerequisites in typical locations:
 
-    isabelle component_vscodium -M "/cygdrive/c/msys64" -n "/cygdrive/c/Program Files/nodejs" -P /cygdrive/c/Python313/python.exe
+    isabelle component_vscodium -M "/cygdrive/c/msys64" -P /cygdrive/c/Python313/python.exe
 
 
         Makarius
@@ -528,13 +526,6 @@
   Windows prerequisites:
     - install Visual Studio 2022 with C++ development and C++ library with
       Spectre mitigation: see https://visualstudio.microsoft.com/downloads
-    - install Nodejs """ + default_node_version + """ including Windows build tools:
-      see https://nodejs.org/dist/v""" + default_node_version +
-        "/node-v" + default_node_version + """-x64.msi
-    - rebuild native node-pty, using "cmd" as Administrator:
-        npm install --global node-gyp node-pty@1.1.0-beta33
-        cd "C:\Program Files\nodejs\node_modules\node-pty"
-        npx node-gyp rebuild node-pty
     - MSYS2/UCRT64: see https://www.msys2.org
     - MSYS2 packages:
       pacman -Su