diff --git a/repos/libports/run/libc_getaddrinfo.run b/repos/libports/run/libc_getaddrinfo.run index 5e8af6db0e..54d25a7cc9 100644 --- a/repos/libports/run/libc_getaddrinfo.run +++ b/repos/libports/run/libc_getaddrinfo.run @@ -1,24 +1,22 @@ -source ${genode_dir}/repos/base/run/platform_drv.inc - if {[have_spec linux]} { puts "The [run_name] scenario requires QEMU networking." exit 1 } -set build_components { - core init timer - drivers/nic - lib/vfs/lwip - test/libc_getaddrinfo -} - -append_platform_drv_build_components - -build $build_components - create_boot_directory -append config { +import_from_depot [depot_user]/src/[base_src] \ + [depot_user]/pkg/[drivers_nic_pkg] \ + [depot_user]/src/init \ + [depot_user]/src/libc \ + [depot_user]/src/posix \ + [depot_user]/src/vfs \ + [depot_user]/src/vfs_lwip \ + [depot_user]/src/zlib + +build { test/libc_getaddrinfo } + +install_config { @@ -33,20 +31,22 @@ append config { - } + -append_platform_drv_config - -append config { - - - - - } [nic_drv_config] { + + + + + + + + + + @@ -57,7 +57,7 @@ append config { - + @@ -66,23 +66,15 @@ append config { } -install_config $config +build_boot_image { test-libc_getaddrinfo } -set boot_modules { - core init ld.lib.so - libc.lib.so libm.lib.so posix.lib.so - vfs_lwip.lib.so - test-libc_getaddrinfo - vfs.lib.so - timer +proc qemu_nic_model {} { + if [have_spec x86] { return e1000 } + if [have_spec lan9118] { return lan9118 } + if [have_spec zynq] { return cadence_gem } + return nic_model_missing } -# platform-specific modules -append_platform_drv_boot_modules -lappend boot_modules [nic_drv_binary] - -build_boot_image $boot_modules - -append qemu_args " -nographic -net nic,model=e1000 -net user" +append qemu_args " -nographic -net nic,model=[qemu_nic_model] -net user" run_genode_until "child .* exited with exit value 0.*\n" 20