mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-27 17:18:53 +00:00
16 lines
694 B
Makefile
16 lines
694 B
Makefile
ADA_RTS = $(BUILD_BASE_DIR)/var/libcache/spark
|
|
|
|
ADA_RTS_SOURCE = $(call select_from_ports,ada-runtime)/ada-runtime/contrib/gcc-8.3.0
|
|
ADA_RUNTIME_DIR = $(call select_from_ports,ada-runtime)/ada-runtime/src/minimal
|
|
ADA_RUNTIME_LIB_DIR = $(call select_from_ports,ada-runtime)/ada-runtime/src/lib
|
|
ADA_RUNTIME_COMMON_DIR = $(call select_from_ports,ada-runtime)/ada-runtime/src/common
|
|
ADA_RUNTIME_PLATFORM_DIR = $(call select_from_ports,ada-runtime)/ada-runtime/platform
|
|
|
|
INC_DIR += $(ADA_RUNTIME_DIR)
|
|
INC_DIR += $(ADA_RUNTIME_LIB_DIR)
|
|
INC_DIR += $(ADA_RUNTIME_COMMON_DIR)
|
|
INC_DIR += $(ADA_RTS_SOURCE)
|
|
|
|
# Disable inline concatenation as this requires additinal runtime support
|
|
CC_ADA_OPT += -gnatd.c
|