# HG changeset patch
# User wenzelm
# Date 1757072391 -7200
# Node ID d329fbb9282e1810b4794cd83f76554ad29ab44c
# Parent  90f99f5a5b2d2915b0f730db39ca5dbd78b225d7
more uniform treatment of platforms: only one is active at a time;

diff -r 90f99f5a5b2d -r d329fbb9282e src/Tools/VSCode/src/component_vscodium.scala
--- a/src/Tools/VSCode/src/component_vscodium.scala	Fri Sep 05 13:34:28 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala	Fri Sep 05 13:39:51 2025 +0200
@@ -167,8 +167,6 @@
   }
 
   sealed case class Build_Context(platform: Isabelle_Platform, env: List[String]) {
-    def primary_platform: Boolean = platform.is_linux && !platform.is_arm
-
     def download_ext: String = if (platform.is_linux) "tar.gz" else "zip"
 
     def download_name: String =
@@ -376,18 +374,14 @@
 
     /* patches */
 
-    val patches_dir = component_dir.path + Path.explode("patches")
+    progress.echo("\n* Building patches:")
+
+    val patches_dir = Isabelle_System.new_directory(component_dir.path + Path.explode("patches"))
 
     def write_patch(name: String, patch: String): Unit =
-      if (build_context.primary_platform) {
-        File.write(patches_dir + Path.explode(name).patch, patch)
-      }
+      File.write(patches_dir + Path.explode(name).patch, patch)
 
-    if (build_context.primary_platform) {
-      progress.echo("\n* Building patches:")
-      Isabelle_System.new_directory(component_dir.path + Path.explode("patches"))
-      write_patch("01-vscodium", vscodium_patch(progress = progress))
-    }
+    write_patch("01-vscodium", vscodium_patch(progress = progress))
 
 
     /* build */
@@ -408,9 +402,7 @@
       progress.bash(node_path_setup(node_dir) + "\n" + environment + "./build.sh",
         cwd = build_dir, echo = progress.verbose).check
 
-      if (build_context.primary_platform) {
-        Isabelle_System.copy_file(build_dir + Path.explode("LICENSE"), component_dir.path)
-      }
+      Isabelle_System.copy_file(build_dir + Path.explode("LICENSE"), component_dir.path)
 
       val platform_dir = build_context.platform_dir(component_dir.path)
       Isabelle_System.copy_dir(build_context.build_dir(build_dir), platform_dir)
@@ -427,9 +419,7 @@
       build_context.setup_executables(platform_dir)
     }
 
-    if (build_context.primary_platform) {
-      Isabelle_System.bash("gzip *.patch", cwd = patches_dir).check
-    }
+    Isabelle_System.bash("gzip *.patch", cwd = patches_dir).check
 
 
     /* settings */