ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 06:07:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
82a57a10e7
genode/repos/libports/lib/mk/spark.mk

67 lines
1.5 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
ada runtime: support image of enums Ref #3937
2020-11-23 17:14:37 +00:00
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
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-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
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
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-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
vpath %.cc $(ADA_RUNTIME_PLATFORM_DIR)/genode
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 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)
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
vpath s-arit64.adb $(ADA_RUNTIME_DIR)
ada-runtime: add s-expint.ad* * switch to fork of the Ada runtime provided by m-stein * switch to a Ada-runtime state that provides the Exp_Int package (exponential function on integers) * adapt spark lib, symbols, and recipes to incorporate the Exp_Int package Fixes #3848
2020-05-19 10:15:06 +00:00
vpath s-expint.adb $(ADA_RUNTIME_DIR)
ada runtime: support image of enums Ref #3937
2020-11-23 17:14:37 +00:00
vpath s-imenne.adb $(ADA_RUNTIME_DIR)
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
vpath system.ads $(ADA_RUNTIME_DIR)
vpath s-stoele.adb $(ADA_RUNTIME_DIR)
vpath s-init.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
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
vpath componolit% $(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
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
vpath %.ads $(ADA_RTS_SOURCE)
vpath %.adb $(ADA_RTS_SOURCE)
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