genode/repos/libports/lib/mk/spark.mk
2020-11-27 09:19:09 +01:00

67 lines
1.5 KiB
Makefile

include $(REP_DIR)/lib/mk/spark.inc
ADALIB = $(ADA_RTS)/adalib
ADAINCLUDE = $(ADA_RTS)/adainclude
SRC_ADS += \
system.ads \
s-soflin.ads \
s-unstyp.ads \
interfac.ads \
i-cexten.ads \
a-except.ads \
ada.ads
SRC_ADB += \
s-stalib.adb \
s-secsta.adb \
s-parame.adb \
i-c.adb \
s-arit64.adb \
s-expint.adb \
s-imenne.adb \
s-stoele.adb \
s-init.adb
CUSTOM_ADA_FLAGS = --RTS=$(ADA_RTS) -c -gnatg -gnatp -gnatpg -gnatn2
# C runtime glue code
SRC_CC += genode.cc
SRC_C += init.c
# Ada packages that implement runtime functionality
SRC_ADS += componolit.ads \
componolit-runtime.ads \
componolit-runtime-exceptions.ads
SRC_ADB += componolit-runtime-strings.adb \
componolit-runtime-debug.adb \
componolit-runtime-platform.adb \
componolit-runtime-conversions.adb
vpath %.cc $(ADA_RUNTIME_PLATFORM_DIR)/genode
vpath s-soflin.ads $(ADA_RUNTIME_DIR)
vpath a-except.ads $(ADA_RUNTIME_DIR)
vpath s-secsta.adb $(ADA_RUNTIME_DIR)
vpath s-soflin.adb $(ADA_RUNTIME_DIR)
vpath s-stalib.adb $(ADA_RUNTIME_DIR)
vpath s-parame.adb $(ADA_RUNTIME_DIR)
vpath a-except.adb $(ADA_RUNTIME_DIR)
vpath i-c.adb $(ADA_RUNTIME_DIR)
vpath s-arit64.adb $(ADA_RUNTIME_DIR)
vpath s-expint.adb $(ADA_RUNTIME_DIR)
vpath s-imenne.adb $(ADA_RUNTIME_DIR)
vpath system.ads $(ADA_RUNTIME_DIR)
vpath s-stoele.adb $(ADA_RUNTIME_DIR)
vpath s-init.adb $(ADA_RUNTIME_DIR)
vpath componolit% $(ADA_RUNTIME_LIB_DIR)
vpath init.c $(ADA_RUNTIME_LIB_DIR)
vpath s-init.adb $(ADA_RUNTIME_COMMON_DIR)
vpath %.ads $(ADA_RTS_SOURCE)
vpath %.adb $(ADA_RTS_SOURCE)
SHARED_LIB = yes