mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-01 19:46:45 +00:00
5ccae43552
The minimal-footprint Ada runtime for implementing library-like functionality in SPARK is now called "spark" runtime. The full Ada runtime for entire components written in Ada and using the libc as glue to the underlying system will move to the world repository as "ada" runtime. Issue #3144
46 lines
1.1 KiB
Makefile
46 lines
1.1 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-imgint.ads \
|
|
s-stoele.ads \
|
|
s-unstyp.ads \
|
|
interfac.ads \
|
|
a-except.ads \
|
|
gnat.ads \
|
|
ada.ads \
|
|
ada_exceptions.ads
|
|
|
|
SRC_ADB += g-io.adb s-stalib.adb s-secsta.adb s-parame.adb
|
|
CUSTOM_ADA_FLAGS = --RTS=$(ADA_RTS) -c -gnatg -gnatp -gnatpg -gnatn2
|
|
|
|
# C runtime glue code
|
|
SRC_CC += genode.cc
|
|
|
|
# Ada packages that implement runtime functionality
|
|
SRC_ADB += ss_utils.adb string_utils.adb platform.adb
|
|
|
|
vpath %.cc $(ADA_RUNTIME_PLATFORM_DIR)
|
|
|
|
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 %.ads $(ADA_RTS_SOURCE)
|
|
vpath %.adb $(ADA_RTS_SOURCE)
|
|
|
|
vpath platform.% $(ADA_RUNTIME_LIB_DIR)
|
|
vpath string_utils.% $(ADA_RUNTIME_LIB_DIR)
|
|
vpath ss_utils.% $(ADA_RUNTIME_LIB_DIR)
|
|
vpath ada_exceptions.ads $(ADA_RUNTIME_LIB_DIR)
|
|
|
|
SHARED_LIB = yes
|