# HG changeset patch
# User wenzelm
# Date 1757416014 -7200
# Node ID d25d58cc131e1810c5f5d36b38ef8e2b96c39e4b
# Parent  e0c85cb6b924d6464d2e3f28fc7ce203aa915127
more explicit platform prerequisites;

diff -r e0c85cb6b924 -r d25d58cc131e src/Tools/VSCode/src/component_vscodium.scala
--- a/src/Tools/VSCode/src/component_vscodium.scala	Mon Sep 08 23:55:00 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala	Tue Sep 09 13:06:54 2025 +0200
@@ -17,6 +17,23 @@
 
 
 object Component_VSCodium {
+  /* platform prerequisites */
+
+  val linux_packages: List[String] =
+    List(
+      "jq", "git", "python3", "gcc", "g++", "make", "pkg-config", "fakeroot",
+      "libx11-dev", "libxkbfile-dev", "libsecret-1-dev", "libkrb5-dev")
+
+  val windows_packages_msys2: List[String] =
+    List("p7zip", "git", "jq", "mingw-w64-ucrt-x86_64-rustup")
+
+  val windows_packages_choco: List[String] =
+    List("python", "visualstudio2022-workload-vctools")
+
+  val macos_packages: List[String] =
+    List("jq", "rustup")
+
+
   /* vscode parameters */
 
   val default_node_version = Nodejs.default_version
@@ -445,6 +462,25 @@
     -v           verbose
 
   Build VSCodium from sources and turn it into an Isabelle component.
+
+  Linux prerequisites:
+    - Ubuntu 20.04 LTS
+    - rustup: see https://www.rust-lang.org/tools/install
+    - apt packages:
+      sudo apt install -y """ + linux_packages.mkString(" ") + """
+
+  Windows prerequisites:
+    - chocolatey package manager: see https://chocolatey.org/install
+    - chocolatey packages:
+      choco install """ + windows_packages_choco.mkString(" ") + """ -y
+    - MSYS2/UCRT64: see https://www.msys2.org
+    - MSYS2 packages:
+      pacman -Su
+      pacman -S --needed --noconfirm """ + windows_packages_msys2.mkString(" ") + """
+
+  macOS prerequisites:
+    - Homebrew package manager: see https://brew.sh
+    - brew packages: """ + macos_packages.mkString(" ") + """
 """,
           "D:" -> (arg => target_dir = Path.explode(arg)),
           "M:" -> (arg => mingw = MinGW(Path.explode(arg))),