From a27e46989fc8e9a4e95151de9252d015ae7ad26d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 9 Jun 2023 10:04:09 +0200
Subject: [PATCH] tool_chain_auto.run: use [build_artifacts]

The run script used to miss a few build targets for boot modules
specified at the 'build_boot_image' step.
---
 repos/ports/run/tool_chain_auto.run | 17 +++--------------
 1 file changed, 3 insertions(+), 14 deletions(-)

diff --git a/repos/ports/run/tool_chain_auto.run b/repos/ports/run/tool_chain_auto.run
index 19b10509ff..a25fa4ad2a 100644
--- a/repos/ports/run/tool_chain_auto.run
+++ b/repos/ports/run/tool_chain_auto.run
@@ -72,6 +72,8 @@ if {[have_spec x86]} {
 	set arch         "x86_64"
 }
 
+set build_components { core lib/ld lib/vfs lib/vfs_pipe lib/libc server/vfs }
+
 #
 # Build packages only once
 #
@@ -80,9 +82,6 @@ set pkgs "$binutils $gcc"
 foreach pkg $pkgs {
 	lappend_if [expr ![file exists bin/$pkg]] build_components noux-pkg/$pkg }
 
-lappend build_components "lib/vfs_pipe"
-lappend build_components "server/vfs"
-
 build $build_components
 
 # write default .bash_profile file
@@ -251,17 +250,7 @@ install_config {
 
 </config>}
 
-
-#
-# Boot modules
-#
-
-append  boot_modules { bash_profile genode.tar }
-lappend boot_modules "$binutils.tar" "$gcc.tar"
-lappend boot_modules libc.lib.so vfs.lib.so vfs_pipe.lib.so vfs
-
-build_boot_image $boot_modules
-
+build_boot_image [list {*}[build_artifacts] bash_profile genode.tar $binutils.tar $gcc.tar]
 
 append qemu_args " -nographic -m 800 "