diff --git a/repos/gems/run/cpu_sampler_noux.run b/repos/gems/run/cpu_sampler_noux.run index 4235e672e..adbc50547 100644 --- a/repos/gems/run/cpu_sampler_noux.run +++ b/repos/gems/run/cpu_sampler_noux.run @@ -12,18 +12,18 @@ if { ![have_spec pbxa9] && ![have_spec x86] } { create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/pkg/terminal \ - genodelabs/src/init \ - genodelabs/src/noux \ - genodelabs/src/posix \ - genodelabs/src/ram_fs \ - genodelabs/src/log_terminal \ - genodelabs/src/ncurses \ - genodelabs/src/bash-minimal \ - genodelabs/src/vim-minimal \ - genodelabs/src/coreutils-minimal +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/pkg/terminal \ + [depot_user]/src/init \ + [depot_user]/src/noux \ + [depot_user]/src/posix \ + [depot_user]/src/ram_fs \ + [depot_user]/src/log_terminal \ + [depot_user]/src/ncurses \ + [depot_user]/src/bash-minimal \ + [depot_user]/src/vim-minimal \ + [depot_user]/src/coreutils-minimal set build_components { server/fs_log server/cpu_sampler test/cpu_sampler } diff --git a/repos/gems/run/decorator.run b/repos/gems/run/decorator.run index 91f3b350d..5d5c4ca03 100644 --- a/repos/gems/run/decorator.run +++ b/repos/gems/run/decorator.run @@ -1,14 +1,14 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/src/init \ - genodelabs/src/report_rom \ - genodelabs/src/dynamic_rom \ - genodelabs/src/nitpicker \ - genodelabs/src/libc \ - genodelabs/src/libpng \ - genodelabs/src/zlib +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/src/init \ + [depot_user]/src/report_rom \ + [depot_user]/src/dynamic_rom \ + [depot_user]/src/nitpicker \ + [depot_user]/src/libc \ + [depot_user]/src/libpng \ + [depot_user]/src/zlib install_config { diff --git a/repos/gems/run/decorator_stress.run b/repos/gems/run/decorator_stress.run index 87eb03c50..9af6f902a 100644 --- a/repos/gems/run/decorator_stress.run +++ b/repos/gems/run/decorator_stress.run @@ -1,15 +1,15 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/src/init \ - genodelabs/src/report_rom \ - genodelabs/src/dynamic_rom \ - genodelabs/src/nitpicker \ - genodelabs/src/decorator \ - genodelabs/src/libc \ - genodelabs/src/libpng \ - genodelabs/src/zlib +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/src/init \ + [depot_user]/src/report_rom \ + [depot_user]/src/dynamic_rom \ + [depot_user]/src/nitpicker \ + [depot_user]/src/decorator \ + [depot_user]/src/libc \ + [depot_user]/src/libpng \ + [depot_user]/src/zlib install_config { diff --git a/repos/gems/run/depot_download.run b/repos/gems/run/depot_download.run index d793f9a91..cfddb8675 100644 --- a/repos/gems/run/depot_download.run +++ b/repos/gems/run/depot_download.run @@ -6,27 +6,27 @@ if {![have_spec x86] || [have_spec linux]} { exit 0 } -import_from_depot genodelabs/src/[base_src] \ - genodelabs/src/report_rom \ - genodelabs/src/fs_rom \ - genodelabs/src/vfs \ - genodelabs/src/vfs_lxip \ - genodelabs/src/fetchurl \ - genodelabs/src/libc \ - genodelabs/src/libssh \ - genodelabs/src/libssl \ - genodelabs/src/libcrypto \ - genodelabs/src/zlib \ - genodelabs/src/curl \ - genodelabs/src/init \ - genodelabs/src/chroot \ - genodelabs/src/acpi_drv \ - genodelabs/src/ipxe_nic_drv \ - genodelabs/src/platform_drv \ - genodelabs/src/extract \ - genodelabs/src/libarchive \ - genodelabs/src/liblzma \ - genodelabs/src/verify +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/src/report_rom \ + [depot_user]/src/fs_rom \ + [depot_user]/src/vfs \ + [depot_user]/src/vfs_lxip \ + [depot_user]/src/fetchurl \ + [depot_user]/src/libc \ + [depot_user]/src/libssh \ + [depot_user]/src/libssl \ + [depot_user]/src/libcrypto \ + [depot_user]/src/zlib \ + [depot_user]/src/curl \ + [depot_user]/src/init \ + [depot_user]/src/chroot \ + [depot_user]/src/acpi_drv \ + [depot_user]/src/ipxe_nic_drv \ + [depot_user]/src/platform_drv \ + [depot_user]/src/extract \ + [depot_user]/src/libarchive \ + [depot_user]/src/liblzma \ + [depot_user]/src/verify source ${genode_dir}/repos/base/run/platform_drv.inc diff --git a/repos/gems/run/depot_query.run b/repos/gems/run/depot_query.run index 6741d3170..de6610313 100644 --- a/repos/gems/run/depot_query.run +++ b/repos/gems/run/depot_query.run @@ -2,14 +2,14 @@ build { init app/depot_query app/depot_deploy } create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/src/report_rom \ - genodelabs/src/fs_rom \ - genodelabs/src/vfs \ - genodelabs/src/init +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/src/report_rom \ + [depot_user]/src/fs_rom \ + [depot_user]/src/vfs \ + [depot_user]/src/init create_tar_from_depot_binaries [run_dir]/genode/depot.tar \ - genodelabs/pkg/test-fs_report + [depot_user]/pkg/test-fs_report proc query_pkg {} { return test-fs_report/[_current_depot_archive_version pkg test-fs_report] } @@ -94,7 +94,7 @@ install_config { - + diff --git a/repos/gems/run/driver_manager.run b/repos/gems/run/driver_manager.run index d799f7be6..b7b7aa927 100644 --- a/repos/gems/run/driver_manager.run +++ b/repos/gems/run/driver_manager.run @@ -7,11 +7,11 @@ build { app/driver_manager test/driver_manager lib/ld } create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/drivers_managed-pc \ - genodelabs/src/report_rom \ - genodelabs/src/dynamic_rom \ - genodelabs/src/init +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/drivers_managed-pc \ + [depot_user]/src/report_rom \ + [depot_user]/src/dynamic_rom \ + [depot_user]/src/init install_config { diff --git a/repos/gems/run/fs_query.run b/repos/gems/run/fs_query.run index 2e7c965db..8a39a7d40 100644 --- a/repos/gems/run/fs_query.run +++ b/repos/gems/run/fs_query.run @@ -1,16 +1,16 @@ create_boot_directory import_from_depot \ - genodelabs/src/[base_src] \ - genodelabs/src/coreutils \ - genodelabs/src/bash \ - genodelabs/src/init \ - genodelabs/src/libc \ - genodelabs/src/noux \ - genodelabs/src/posix \ - genodelabs/src/report_rom \ - genodelabs/src/vfs \ - genodelabs/src/vfs_import + [depot_user]/src/[base_src] \ + [depot_user]/src/coreutils \ + [depot_user]/src/bash \ + [depot_user]/src/init \ + [depot_user]/src/libc \ + [depot_user]/src/noux \ + [depot_user]/src/posix \ + [depot_user]/src/report_rom \ + [depot_user]/src/vfs \ + [depot_user]/src/vfs_import install_config { diff --git a/repos/gems/run/launcher.run b/repos/gems/run/launcher.run index 78c6910ae..cfe5ef73a 100644 --- a/repos/gems/run/launcher.run +++ b/repos/gems/run/launcher.run @@ -1,18 +1,18 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/pkg/motif_wm \ - genodelabs/raw/genode_bg \ - genodelabs/pkg/fonts_fs \ - genodelabs/pkg/backdrop \ - genodelabs/src/demo \ - genodelabs/src/init \ - genodelabs/src/nitpicker \ - genodelabs/src/nit_fb \ - genodelabs/src/nit_fader \ - genodelabs/src/rom_filter \ - genodelabs/src/menu_view +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/pkg/motif_wm \ + [depot_user]/raw/genode_bg \ + [depot_user]/pkg/fonts_fs \ + [depot_user]/pkg/backdrop \ + [depot_user]/src/demo \ + [depot_user]/src/init \ + [depot_user]/src/nitpicker \ + [depot_user]/src/nit_fb \ + [depot_user]/src/nit_fader \ + [depot_user]/src/rom_filter \ + [depot_user]/src/menu_view install_config { diff --git a/repos/gems/run/menu_view.run b/repos/gems/run/menu_view.run index ddb504e03..589189916 100644 --- a/repos/gems/run/menu_view.run +++ b/repos/gems/run/menu_view.run @@ -1,15 +1,15 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/pkg/fonts_fs \ - genodelabs/src/init \ - genodelabs/src/dynamic_rom \ - genodelabs/src/report_rom \ - genodelabs/src/nitpicker \ - genodelabs/src/libc \ - genodelabs/src/libpng \ - genodelabs/src/zlib +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/pkg/fonts_fs \ + [depot_user]/src/init \ + [depot_user]/src/dynamic_rom \ + [depot_user]/src/report_rom \ + [depot_user]/src/nitpicker \ + [depot_user]/src/libc \ + [depot_user]/src/libpng \ + [depot_user]/src/zlib install_config { diff --git a/repos/gems/run/mirage_pretty.run b/repos/gems/run/mirage_pretty.run index 1def0cb20..fe42d86c1 100644 --- a/repos/gems/run/mirage_pretty.run +++ b/repos/gems/run/mirage_pretty.run @@ -20,10 +20,10 @@ if {[have_spec linux]} { create_boot_directory import_from_depot \ - genodelabs/src/[base_src] \ - genodelabs/src/init \ - genodelabs/src/rtc_drv \ - genodelabs/pkg/terminal \ + [depot_user]/src/[base_src] \ + [depot_user]/src/init \ + [depot_user]/src/rtc_drv \ + [depot_user]/pkg/terminal \ source ${genode_dir}/repos/base/run/platform_drv.inc diff --git a/repos/gems/run/mixer_gui_qt_test.run b/repos/gems/run/mixer_gui_qt_test.run index 5fe63a299..76134c6f5 100644 --- a/repos/gems/run/mixer_gui_qt_test.run +++ b/repos/gems/run/mixer_gui_qt_test.run @@ -1,8 +1,8 @@ source ${genode_dir}/repos/libports/run/qt5_common.inc -import_from_depot genodelabs/src/dynamic_rom \ - genodelabs/src/mixer_gui_qt \ - genodelabs/src/qt5_widgets +import_from_depot [depot_user]/src/dynamic_rom \ + [depot_user]/src/mixer_gui_qt \ + [depot_user]/src/qt5_widgets # # Build diff --git a/repos/gems/run/nano3d.run b/repos/gems/run/nano3d.run index 893a1dde6..e9db22284 100644 --- a/repos/gems/run/nano3d.run +++ b/repos/gems/run/nano3d.run @@ -1,12 +1,12 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/raw/genode_bg \ - genodelabs/pkg/backdrop \ - genodelabs/src/init \ - genodelabs/src/dynamic_rom \ - genodelabs/src/nitpicker +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/raw/genode_bg \ + [depot_user]/pkg/backdrop \ + [depot_user]/src/init \ + [depot_user]/src/dynamic_rom \ + [depot_user]/src/nitpicker append config { diff --git a/repos/gems/run/nit_fader.run b/repos/gems/run/nit_fader.run index 989a5edb4..b3e11ee50 100644 --- a/repos/gems/run/nit_fader.run +++ b/repos/gems/run/nit_fader.run @@ -1,11 +1,11 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/src/init \ - genodelabs/src/dynamic_rom \ - genodelabs/src/nitpicker \ - genodelabs/src/demo +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/src/init \ + [depot_user]/src/dynamic_rom \ + [depot_user]/src/nitpicker \ + [depot_user]/src/demo install_config { diff --git a/repos/gems/run/text_painter.run b/repos/gems/run/text_painter.run index 46285ff53..82bc00c8f 100644 --- a/repos/gems/run/text_painter.run +++ b/repos/gems/run/text_painter.run @@ -1,11 +1,11 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/src/init \ - genodelabs/src/libc \ - genodelabs/src/vfs \ - genodelabs/raw/ttf-bitstream-vera-minimal +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/src/init \ + [depot_user]/src/libc \ + [depot_user]/src/vfs \ + [depot_user]/raw/ttf-bitstream-vera-minimal install_config { diff --git a/repos/gems/run/vfs_import.run b/repos/gems/run/vfs_import.run index aea05a9b3..3cef9eca0 100644 --- a/repos/gems/run/vfs_import.run +++ b/repos/gems/run/vfs_import.run @@ -3,12 +3,12 @@ build { app/sequence server/vfs lib/vfs/import test/libc } create_boot_directory import_from_depot \ - genodelabs/src/[base_src] \ - genodelabs/src/coreutils \ - genodelabs/src/init \ - genodelabs/src/libc \ - genodelabs/src/noux \ - genodelabs/src/posix \ + [depot_user]/src/[base_src] \ + [depot_user]/src/coreutils \ + [depot_user]/src/init \ + [depot_user]/src/libc \ + [depot_user]/src/noux \ + [depot_user]/src/posix \ install_config { diff --git a/repos/gems/run/wm.run b/repos/gems/run/wm.run index 329499d7e..1de182d0c 100644 --- a/repos/gems/run/wm.run +++ b/repos/gems/run/wm.run @@ -5,16 +5,16 @@ create_boot_directory # 'pkg/motif_wm' with 'pkg/themed_wm'. # -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/pkg/motif_wm \ - genodelabs/raw/genode_bg \ - genodelabs/pkg/backdrop \ - genodelabs/src/demo \ - genodelabs/src/init \ - genodelabs/src/nitpicker \ - genodelabs/src/nit_fb \ - genodelabs/src/vfs +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/pkg/motif_wm \ + [depot_user]/raw/genode_bg \ + [depot_user]/pkg/backdrop \ + [depot_user]/src/demo \ + [depot_user]/src/init \ + [depot_user]/src/nitpicker \ + [depot_user]/src/nit_fb \ + [depot_user]/src/vfs install_config { diff --git a/repos/libports/run/extract.run b/repos/libports/run/extract.run index 8fbe99c7a..56372bc31 100644 --- a/repos/libports/run/extract.run +++ b/repos/libports/run/extract.run @@ -1,7 +1,7 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/src/init +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/src/init install_config { diff --git a/repos/libports/run/fatfs_blkio.run b/repos/libports/run/fatfs_blkio.run index 61492420c..b5facbe07 100644 --- a/repos/libports/run/fatfs_blkio.run +++ b/repos/libports/run/fatfs_blkio.run @@ -40,10 +40,10 @@ build $build_components create_boot_directory -set depot_pkgs "genodelabs/src/[base_src] genodelabs/src/init" +set depot_pkgs "[depot_user]/src/[base_src] [depot_user]/src/init" -lappend_if $use_ahci depot_pkgs genodelabs/src/ahci_drv -lappend_if $use_ram_block depot_pkgs genodelabs/src/ram_block +lappend_if $use_ahci depot_pkgs [depot_user]/src/ahci_drv +lappend_if $use_ram_block depot_pkgs [depot_user]/src/ram_block import_from_depot {*}$depot_pkgs diff --git a/repos/libports/run/libc_vfs_filesystem_test.inc b/repos/libports/run/libc_vfs_filesystem_test.inc index a5e3a9d7a..22d26fa48 100644 --- a/repos/libports/run/libc_vfs_filesystem_test.inc +++ b/repos/libports/run/libc_vfs_filesystem_test.inc @@ -54,11 +54,11 @@ build $build_components create_boot_directory -set depot_pkgs "genodelabs/src/[base_src] genodelabs/src/init" +set depot_pkgs "[depot_user]/src/[base_src] [depot_user]/src/init" -lappend_if $use_ahci depot_pkgs genodelabs/src/ahci_drv -lappend_if $use_ram_block depot_pkgs genodelabs/src/ram_block -lappend_if $use_vfs_server depot_pkgs genodelabs/src/vfs +lappend_if $use_ahci depot_pkgs [depot_user]/src/ahci_drv +lappend_if $use_ram_block depot_pkgs [depot_user]/src/ram_block +lappend_if $use_vfs_server depot_pkgs [depot_user]/src/vfs import_from_depot {*}$depot_pkgs diff --git a/repos/libports/run/mirage_net.run b/repos/libports/run/mirage_net.run index 46ed0dfdd..931080183 100644 --- a/repos/libports/run/mirage_net.run +++ b/repos/libports/run/mirage_net.run @@ -20,9 +20,9 @@ if {[have_spec linux]} { create_boot_directory import_from_depot \ - genodelabs/src/[base_src] \ - genodelabs/src/init \ - genodelabs/src/rtc_drv \ + [depot_user]/src/[base_src] \ + [depot_user]/src/init \ + [depot_user]/src/rtc_drv \ source ${genode_dir}/repos/base/run/platform_drv.inc diff --git a/repos/libports/run/mupdf.run b/repos/libports/run/mupdf.run index 3a56147e8..67f1c8e47 100644 --- a/repos/libports/run/mupdf.run +++ b/repos/libports/run/mupdf.run @@ -7,11 +7,11 @@ build $build_components create_boot_directory import_from_depot \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/pkg/motif_wm \ - genodelabs/src/[base_src] \ - genodelabs/src/init \ - genodelabs/src/nitpicker \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/pkg/motif_wm \ + [depot_user]/src/[base_src] \ + [depot_user]/src/init \ + [depot_user]/src/nitpicker \ set config { diff --git a/repos/libports/run/solo5.run b/repos/libports/run/solo5.run index 7603d05c4..f1c3c00a1 100644 --- a/repos/libports/run/solo5.run +++ b/repos/libports/run/solo5.run @@ -11,9 +11,9 @@ if {[have_spec linux]} { create_boot_directory import_from_depot \ - genodelabs/src/[base_src] \ - genodelabs/src/init \ - genodelabs/src/rtc_drv \ + [depot_user]/src/[base_src] \ + [depot_user]/src/init \ + [depot_user]/src/rtc_drv \ install_config { diff --git a/repos/libports/run/solo5_ping.run b/repos/libports/run/solo5_ping.run index 106482d15..6a00ca945 100644 --- a/repos/libports/run/solo5_ping.run +++ b/repos/libports/run/solo5_ping.run @@ -11,9 +11,9 @@ if {[have_spec linux]} { create_boot_directory import_from_depot \ - genodelabs/src/[base_src] \ - genodelabs/src/init \ - genodelabs/src/rtc_drv \ + [depot_user]/src/[base_src] \ + [depot_user]/src/init \ + [depot_user]/src/rtc_drv \ source ${genode_dir}/repos/base/run/platform_drv.inc diff --git a/repos/ports/run/noux_bash.run b/repos/ports/run/noux_bash.run index c023768c3..315f39a8f 100644 --- a/repos/ports/run/noux_bash.run +++ b/repos/ports/run/noux_bash.run @@ -1,17 +1,17 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/pkg/terminal \ - genodelabs/src/init \ - genodelabs/src/libc \ - genodelabs/src/noux \ - genodelabs/src/posix \ - genodelabs/src/ncurses \ - genodelabs/src/vim \ - genodelabs/src/bash \ - genodelabs/src/coreutils \ - genodelabs/src/ram_fs +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/pkg/terminal \ + [depot_user]/src/init \ + [depot_user]/src/libc \ + [depot_user]/src/noux \ + [depot_user]/src/posix \ + [depot_user]/src/ncurses \ + [depot_user]/src/vim \ + [depot_user]/src/bash \ + [depot_user]/src/coreutils \ + [depot_user]/src/ram_fs # write default vimrc file set vimrc_fd [open [run_dir]/genode/vimrc w] diff --git a/repos/ports/run/noux_fs.run b/repos/ports/run/noux_fs.run index b89818285..6807fc7c9 100644 --- a/repos/ports/run/noux_fs.run +++ b/repos/ports/run/noux_fs.run @@ -3,20 +3,20 @@ set e2fsck [installed_command e2fsck] create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/src/init \ - genodelabs/src/platform_drv \ - genodelabs/src/report_rom \ - genodelabs/src/acpi_drv \ - genodelabs/src/ahci_drv \ - genodelabs/src/vfs \ - genodelabs/src/rump \ - genodelabs/src/log_terminal \ - genodelabs/src/noux \ - genodelabs/src/libc \ - genodelabs/src/posix \ - genodelabs/src/bash \ - genodelabs/src/coreutils +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/src/init \ + [depot_user]/src/platform_drv \ + [depot_user]/src/report_rom \ + [depot_user]/src/acpi_drv \ + [depot_user]/src/ahci_drv \ + [depot_user]/src/vfs \ + [depot_user]/src/rump \ + [depot_user]/src/log_terminal \ + [depot_user]/src/noux \ + [depot_user]/src/libc \ + [depot_user]/src/posix \ + [depot_user]/src/bash \ + [depot_user]/src/coreutils source ${genode_dir}/repos/base/run/platform_drv.inc set config { diff --git a/repos/ports/run/noux_gdb.run b/repos/ports/run/noux_gdb.run index 250450f66..7557ecf6f 100644 --- a/repos/ports/run/noux_gdb.run +++ b/repos/ports/run/noux_gdb.run @@ -5,14 +5,14 @@ if {!([have_spec nova])} { create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/pkg/terminal \ - genodelabs/src/init \ - genodelabs/src/libc \ - genodelabs/src/noux \ - genodelabs/src/posix \ - genodelabs/src/ncurses +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/pkg/terminal \ + [depot_user]/src/init \ + [depot_user]/src/libc \ + [depot_user]/src/noux \ + [depot_user]/src/posix \ + [depot_user]/src/ncurses source ${genode_dir}/repos/ports/run/noux_gdb.inc diff --git a/repos/ports/run/noux_terminal_fs.run b/repos/ports/run/noux_terminal_fs.run index 8209655b4..f6774a9b9 100644 --- a/repos/ports/run/noux_terminal_fs.run +++ b/repos/ports/run/noux_terminal_fs.run @@ -15,19 +15,19 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/pkg/terminal \ - genodelabs/src/init \ - genodelabs/src/nitpicker \ - genodelabs/src/nit_fb \ - genodelabs/src/libc \ - genodelabs/src/noux \ - genodelabs/src/posix \ - genodelabs/src/ncurses \ - genodelabs/src/bash \ - genodelabs/src/coreutils \ - genodelabs/src/ram_fs +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/pkg/terminal \ + [depot_user]/src/init \ + [depot_user]/src/nitpicker \ + [depot_user]/src/nit_fb \ + [depot_user]/src/libc \ + [depot_user]/src/noux \ + [depot_user]/src/posix \ + [depot_user]/src/ncurses \ + [depot_user]/src/bash \ + [depot_user]/src/coreutils \ + [depot_user]/src/ram_fs install_config { diff --git a/repos/ports/run/noux_trace_fs.run b/repos/ports/run/noux_trace_fs.run index 3e61787e2..9f21f5803 100644 --- a/repos/ports/run/noux_trace_fs.run +++ b/repos/ports/run/noux_trace_fs.run @@ -9,19 +9,19 @@ if {[have_spec linux]} { create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/pkg/terminal \ - genodelabs/src/init \ - genodelabs/src/libc \ - genodelabs/src/noux \ - genodelabs/src/posix \ - genodelabs/src/ncurses \ - genodelabs/src/vim \ - genodelabs/src/bash \ - genodelabs/src/grep \ - genodelabs/src/coreutils \ - genodelabs/src/ram_fs +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/pkg/terminal \ + [depot_user]/src/init \ + [depot_user]/src/libc \ + [depot_user]/src/noux \ + [depot_user]/src/posix \ + [depot_user]/src/ncurses \ + [depot_user]/src/vim \ + [depot_user]/src/bash \ + [depot_user]/src/grep \ + [depot_user]/src/coreutils \ + [depot_user]/src/ram_fs # write default vimrc file diff --git a/repos/ports/run/noux_vim.run b/repos/ports/run/noux_vim.run index e9b3ae4eb..85f7b2966 100644 --- a/repos/ports/run/noux_vim.run +++ b/repos/ports/run/noux_vim.run @@ -1,14 +1,14 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/pkg/[drivers_interactive_pkg] \ - genodelabs/pkg/terminal \ - genodelabs/src/init \ - genodelabs/src/libc \ - genodelabs/src/noux \ - genodelabs/src/posix \ - genodelabs/src/ncurses \ - genodelabs/src/vim +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_interactive_pkg] \ + [depot_user]/pkg/terminal \ + [depot_user]/src/init \ + [depot_user]/src/libc \ + [depot_user]/src/noux \ + [depot_user]/src/posix \ + [depot_user]/src/ncurses \ + [depot_user]/src/vim install_config { diff --git a/repos/ports/run/stubby_deploy.run b/repos/ports/run/stubby_deploy.run index e91b302e7..743cb5a63 100644 --- a/repos/ports/run/stubby_deploy.run +++ b/repos/ports/run/stubby_deploy.run @@ -4,19 +4,19 @@ create_boot_directory proc current_pkg { pkg } { return $pkg/[_current_depot_archive_version pkg $pkg] } -import_from_depot genodelabs/src/[base_src] \ - genodelabs/src/report_rom \ - genodelabs/src/fs_rom \ - genodelabs/src/ram_fs \ - genodelabs/src/vfs \ - genodelabs/src/init \ - genodelabs/src/ipxe_nic_drv \ - genodelabs/src/acpi_drv \ - genodelabs/src/platform_drv \ - genodelabs/src/rtc_drv \ - genodelabs/src/posix \ - genodelabs/src/libc \ - genodelabs/src/vfs_lxip \ +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/src/report_rom \ + [depot_user]/src/fs_rom \ + [depot_user]/src/ram_fs \ + [depot_user]/src/vfs \ + [depot_user]/src/init \ + [depot_user]/src/ipxe_nic_drv \ + [depot_user]/src/acpi_drv \ + [depot_user]/src/platform_drv \ + [depot_user]/src/rtc_drv \ + [depot_user]/src/posix \ + [depot_user]/src/libc \ + [depot_user]/src/vfs_lxip \ create_tar_from_depot_binaries [run_dir]/genode/depot.tar \ [depot_user]/pkg/nic_router-nat-dns \ diff --git a/repos/ports/run/verify.run b/repos/ports/run/verify.run index f9a555dcd..5733644e6 100644 --- a/repos/ports/run/verify.run +++ b/repos/ports/run/verify.run @@ -1,9 +1,9 @@ create_boot_directory -import_from_depot genodelabs/src/[base_src] \ - genodelabs/src/init \ - genodelabs/src/report_rom \ - genodelabs/src/libc +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/src/init \ + [depot_user]/src/report_rom \ + [depot_user]/src/libc install_config {