mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 22:23:16 +00:00
14 lines
571 B
Makefile
14 lines
571 B
Makefile
|
ADA_RTS = $(BUILD_BASE_DIR)/var/libcache/spark
|
||
|
|
|
||
|
|
ADA_RTS_SOURCE = $(call select_from_ports,ada-runtime)/ada-runtime/contrib/gcc-6.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_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_RTS_SOURCE)
|
||
|
|
|
||
|
|
# Disable inline concatenation as this requires additinal runtime support
|
||
|
|
CC_ADA_OPT += -gnatd.c
|