denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Remove pseudo targets for building shared libs

Browse Source 
Thanks to the change "build: support library builds via lib/<libname>",
shared libraries can now be built directly by the build system.

Issue #4599
This commit is contained in:
Norman Feske
2022-09-01 13:12:13 +02:00
parent c560285d88
commit dd9e12601e
137 changed files with 94 additions and 369 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run/boot_dir/nova
View File

@@ -37,7 +37,7 @@ proc run_boot_dir {binaries} {
set ld_arg ""
if {![file exists [run_dir]/genode/hypervisor]} { set kernel_arg kernel }
if {![file exists [run_dir]/genode/core-nova.a]} { set core_arg core/nova }
if {![file exists [run_dir]/genode/ld.lib.so]} { set ld_arg lib/ld/nova }
if {![file exists [run_dir]/genode/ld.lib.so]} { set ld_arg lib/ld-nova }
set targets "$kernel_arg $core_arg $ld_arg"
if {[llength $targets]} { build $targets }