more robust Rust setup;
authorwenzelm
Wed, 10 Sep 2025 22:48:50 +0200
changeset 83131 0ee538b30078
parent 83130 8f08c9ef0b45
child 83132 cfd4cd1c2f23
more robust Rust setup;
src/Tools/VSCode/src/component_vscodium.scala
--- a/src/Tools/VSCode/src/component_vscodium.scala	Wed Sep 10 22:21:52 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala	Wed Sep 10 22:48:50 2025 +0200
@@ -390,6 +390,12 @@
 
       val node_dir = build_context.node_setup(build_dir)
 
+      progress.echo("Installing rust ...")
+      platform_context.execute(build_dir, "rustup toolchain install stable").check
+      if (platform.is_macos && !platform_context.apple) {
+        platform_context.execute(build_dir, "rustup target add x86_64-apple-darwin").check
+      }
+
       progress.echo("Building VSCodium ...")
       val environment = build_context.environment(build_dir)
       progress.echo(environment, verbose = true)