diff --git a/repos/libports/run/qt5_textedit.run b/repos/libports/run/qt5_textedit.run index ca9b3beb9..a8e78d740 100644 --- a/repos/libports/run/qt5_textedit.run +++ b/repos/libports/run/qt5_textedit.run @@ -3,7 +3,8 @@ source ${genode_dir}/repos/libports/run/qt5_common.inc import_from_depot [depot_user]/src/qt5_component \ [depot_user]/src/qt5_printsupport \ [depot_user]/src/qt5_textedit \ - [depot_user]/src/qt5_widgets + [depot_user]/src/qt5_widgets \ + [depot_user]/src/ram_fs # # Build @@ -16,13 +17,6 @@ if {[have_spec odroid_xu]} { append build_components [qt5_build_components feature] -set use_ahci_driver [expr [have_spec x86] && ![have_spec linux]] - -lappend_if $use_ahci_driver build_components drivers/ahci -lappend_if [have_spec acpi] build_components drivers/acpi -lappend_if [have_spec linux] build_components server/ram_fs -lappend_if [expr ![have_spec linux]] build_components server/fatfs_fs - build $build_components # @@ -32,7 +26,9 @@ build $build_components append config { } + append config [qt5_parent_provides feature] + append config { @@ -42,16 +38,7 @@ append config { append config [qt5_start_nodes feature] -append_if $use_ahci_driver config { - - - - - - - } - -append_if [have_spec linux] config { +append config { @@ -62,16 +49,6 @@ append_if [have_spec linux] config { } -append_if [expr ![have_spec linux]] config { - - - - - - - - } - append config { @@ -125,22 +102,6 @@ install_config $config append boot_modules [qt5_boot_modules feature] -# platform-specific modules -lappend_if [have_spec linux] boot_modules ram_fs -lappend_if [expr ![have_spec linux]] boot_modules fatfs_fs -lappend_if $use_ahci_driver boot_modules ahci_drv - build_boot_image $boot_modules -set disk_image "bin/test.hda" -set cmd "dd if=/dev/zero of=$disk_image bs=1024 count=65536" -puts "creating disk image: $cmd" -catch { exec sh -c $cmd } - -set cmd "mkfs.vfat -F32 $disk_image" -puts "formating disk image with vfat file system: $cmd" -catch { exec sh -c $cmd } - -append_if $use_ahci_driver qemu_args " -drive id=disk,file=$disk_image,format=raw,if=none -device ahci,id=ahci -device ide-drive,drive=disk,bus=ahci.0 -boot d" - run_genode_until forever