ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 00:41:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
72478a9e31
genode/repos/libports/lib/mk/spark.mk

49 lines
1.3 KiB
Makefile
Raw Normal View History

Rename Ada runtime to SPARK runtime 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
2019-01-29 17:01:47 +00:00
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 \
ada: add Interfaces.C extensively in auto-generated bindings
2019-02-25 12:08:12 +00:00
i-cexten.ads \
Rename Ada runtime to SPARK runtime 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
2019-01-29 17:01:47 +00:00
a-except.ads \
gnat.ads \
ada.ads \
ada_exceptions.ads
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 10:33:15 +00:00
SRC_ADB += g-io.adb s-stalib.adb s-secsta.adb s-parame.adb i-c.adb s-arit64.adb s-stoele.adb
Rename Ada runtime to SPARK runtime 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
2019-01-29 17:01:47 +00:00
CUSTOM_ADA_FLAGS = --RTS=$(ADA_RTS) -c -gnatg -gnatp -gnatpg -gnatn2
# C runtime glue code
SRC_CC += genode.cc
ada: provide runtime symbols for elaboration code
2019-02-25 11:39:37 +00:00
SRC_C += init.c
Rename Ada runtime to SPARK runtime 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
2019-01-29 17:01:47 +00:00
# Ada packages that implement runtime functionality
ada: provide runtime symbols for elaboration code
2019-02-25 11:39:37 +00:00
SRC_ADB += ss_utils.adb string_utils.adb platform.adb s-init.adb
Rename Ada runtime to SPARK runtime 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
2019-01-29 17:01:47 +00:00
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)
ada: add Interfaces.C extensively in auto-generated bindings
2019-02-25 12:08:12 +00:00
vpath i-c.adb $(ADA_RUNTIME_DIR)
Rename Ada runtime to SPARK runtime 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
2019-01-29 17:01:47 +00:00
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)
ada: provide runtime symbols for elaboration code
2019-02-25 11:39:37 +00:00
vpath init.c $(ADA_RUNTIME_LIB_DIR)
vpath s-init.adb $(ADA_RUNTIME_COMMON_DIR)
Rename Ada runtime to SPARK runtime 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
2019-01-29 17:01:47 +00:00
SHARED_LIB = yes
Reference in New Issue Copy Permalink