mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-26 08:51:08 +00:00
3d7b92ea50
This patch make the ABI mechanism available to shared libraries other than Genode's dynamic linker. It thereby allows us to introduce intermediate ABIs at the granularity of shared libraries. This is useful for slow-moving ABIs such as the libc's interface but it will also become handy for the package management. To implement the feature, the build system had to be streamlined a bit. In particular, archive dependencies and shared-lib dependencies are now handled separately, and the global list of 'SHARED_LIBS' is no more. Now, the variable with the same name holds the per-target list of shared libraries used by the target.
72 lines
2.5 KiB
PHP
72 lines
2.5 KiB
PHP
CC_OPT_PIC =
|
|
|
|
LIBS += okl4_boot_info base-okl4-common syscall-okl4 cxx
|
|
|
|
GEN_CORE_DIR = $(BASE_DIR)/src/core
|
|
|
|
SRC_CC += stack_area.cc \
|
|
core_mem_alloc.cc \
|
|
core_log.cc \
|
|
core_region_map.cc \
|
|
core_rpc_cap_alloc.cc \
|
|
cpu_session_component.cc \
|
|
cpu_session_support.cc \
|
|
cpu_thread_component.cc \
|
|
capability_space.cc \
|
|
dataspace_component.cc \
|
|
default_log.cc \
|
|
dump_alloc.cc \
|
|
io_mem_session_component.cc \
|
|
io_mem_session_support.cc \
|
|
irq_session_component.cc \
|
|
main.cc \
|
|
pager.cc \
|
|
pager_ep.cc \
|
|
pager_object.cc \
|
|
pd_session_component.cc \
|
|
pd_upgrade_ram_quota.cc \
|
|
pd_assign_pci.cc \
|
|
rpc_cap_factory_l4.cc \
|
|
platform.cc \
|
|
platform_pd.cc \
|
|
platform_services.cc \
|
|
platform_thread.cc \
|
|
ram_session_component.cc \
|
|
ram_session_support.cc \
|
|
region_map_component.cc \
|
|
region_map_support.cc \
|
|
rom_session_component.cc \
|
|
signal_source_component.cc \
|
|
thread_start.cc \
|
|
trace_session_component.cc
|
|
|
|
INC_DIR += $(REP_DIR)/src/core/include $(GEN_CORE_DIR)/include \
|
|
$(REP_DIR)/src/include $(BASE_DIR)/src/include
|
|
|
|
include $(GEN_CORE_DIR)/version.inc
|
|
|
|
vpath main.cc $(GEN_CORE_DIR)
|
|
vpath ram_session_component.cc $(GEN_CORE_DIR)
|
|
vpath rom_session_component.cc $(GEN_CORE_DIR)
|
|
vpath cpu_session_component.cc $(GEN_CORE_DIR)
|
|
vpath cpu_session_support.cc $(GEN_CORE_DIR)
|
|
vpath cpu_thread_component.cc $(GEN_CORE_DIR)
|
|
vpath capability_space.cc $(GEN_CORE_DIR)
|
|
vpath rpc_cap_factory_l4.cc $(GEN_CORE_DIR)
|
|
vpath pd_session_component.cc $(GEN_CORE_DIR)
|
|
vpath pd_upgrade_ram_quota.cc $(GEN_CORE_DIR)
|
|
vpath pd_assign_pci.cc $(GEN_CORE_DIR)
|
|
vpath region_map_component.cc $(GEN_CORE_DIR)
|
|
vpath io_mem_session_component.cc $(GEN_CORE_DIR)
|
|
vpath io_mem_session_support.cc $(GEN_CORE_DIR)
|
|
vpath signal_source_component.cc $(GEN_CORE_DIR)
|
|
vpath trace_session_component.cc $(GEN_CORE_DIR)
|
|
vpath dataspace_component.cc $(GEN_CORE_DIR)
|
|
vpath core_mem_alloc.cc $(GEN_CORE_DIR)
|
|
vpath core_rpc_cap_alloc.cc $(GEN_CORE_DIR)
|
|
vpath dump_alloc.cc $(GEN_CORE_DIR)
|
|
vpath default_log.cc $(GEN_CORE_DIR)
|
|
vpath stack_area.cc $(GEN_CORE_DIR)
|
|
vpath pager_ep.cc $(GEN_CORE_DIR)
|
|
vpath %.cc $(REP_DIR)/src/core
|