ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 02:40:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

tool/run: use [board] for naming driver packages

Browse Source 
This patch replaces the enumeration of boards in the drivers_nic_pkg and
drivers_interactive_pkg functions by inferring the package names from
the [board] name. This eases the addition of driver packages in external
repositories.

Fixes #4221
This commit is contained in:
Norman Feske 2021-07-14 13:47:28 +02:00 committed by Christian Helmuth
parent 6de19e4a9b
commit 45f5ed173a
1 changed files with 2 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
tool/run/depot.inc
View File

@ -466,34 +466,10 @@ proc check_for_missing_depot_archives { } {
proc drivers_interactive_pkg { } { proc drivers_interactive_pkg { } {
if {[have_board linux]} { return drivers_interactive-linux }
if {[have_board pc]} { return drivers_interactive-pc }
if {[have_board pbxa9]} { return drivers_interactive-pbxa9 }
if {[have_board imx53_qsb]} { return drivers_interactive-imx53_qsb }
if {[have_board imx53_qsb_tz]} { return drivers_interactive-imx53_qsb } if {[have_board imx53_qsb_tz]} { return drivers_interactive-imx53_qsb }
if {[have_board rpi]} { return drivers_interactive-rpi }
if {[have_board imx8q_evk]} { return drivers_interactive-imx8q_evk }
if {[have_board panda]} { return drivers_interactive-panda }
if {[have_board arndale]} { return drivers_interactive-arndale }
puts stderr "drivers_interactive package undefined for this build configuration" return "drivers_interactive-[board]"
exit 1
} }
proc drivers_nic_pkg { } { proc drivers_nic_pkg { } { return "drivers_nic-[board]" }
if {[have_board pc]} { return drivers_nic-pc }
if {[have_board linux]} { return drivers_nic-linux }
if {[have_board pbxa9]} { return drivers_nic-pbxa9 }
if {[have_board rpi]} { return drivers_nic-rpi }
if {[have_board zynq_qemu]} { return drivers_nic-zynq }
if {[have_board imx53_qsb]} { return drivers_nic-imx53_qsb }
if {[have_board imx6q_sabrelite]} { return drivers_nic-imx6q_sabrelite }
if {[have_board imx7d_sabre]} { return drivers_nic-imx7d_sabre }
if {[have_board imx8q_evk]} { return drivers_nic-imx8q_evk }
if {[have_board virt_qemu]} { return drivers_nic-virt_qemu }
puts stderr "drivers_nic package undefined for this build configuration"
exit 1
}