mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-27 09:12:32 +00:00
2b8c1af9e0
Conveying the ROM filename as the final label element simplifies routing policy and session construction. Annotations by nfeske: This commit also changes the ROM session to use base/log.h instead of base/printf.h, which produced build error of VirtualBox because the vbox headers have a '#define Log', which collides with the content of base/log.h. Hence, this commit has to take precautions to resolve this conflict. The commit alse refines the previous session-label change by adding a new 'Session_label::prefix' method and removing the use of 'char const *' from this part of the API. Fixes #1787
25 lines
712 B
Makefile
25 lines
712 B
Makefile
include $(REP_DIR)/lib/mk/virtualbox-common.inc
|
|
|
|
#
|
|
# Prevent inclusion of the Genode::Log definition after the vbox #define
|
|
# of 'Log'. Otherwise, the attemt to compile base/log.h will fail.
|
|
#
|
|
VBOX_CC_OPT += -include base/log.h
|
|
|
|
LIBS += stdcxx
|
|
|
|
SRC_CC = sup.cc pgm.cc
|
|
|
|
INC_DIR += $(call select_from_repositories,src/lib/libc)
|
|
INC_DIR += $(call select_from_repositories,src/lib/pthread)
|
|
|
|
INC_DIR += $(VBOX_DIR)/Main/xml
|
|
INC_DIR += $(VBOX_DIR)/Main/include
|
|
INC_DIR += $(VBOX_DIR)/VMM/include
|
|
INC_DIR += $(REP_DIR)/src/virtualbox
|
|
INC_DIR += $(REP_DIR)/src/virtualbox/frontend
|
|
INC_DIR += $(REP_DIR)/src/virtualbox/spec/nova
|
|
|
|
vpath pgm.cc $(REP_DIR)/src/virtualbox/
|
|
vpath sup.cc $(REP_DIR)/src/virtualbox/spec/nova/
|