ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-26 14:19:19 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/libports/lib/import/import-spark.mk

17 lines
713 B
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 18:01:47 +01:00
ADA_RTS = $(BUILD_BASE_DIR)/var/libcache/spark
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 12:33:15 +02:00
ADA_RTS_SOURCE = $(call select_from_ports,ada-runtime)/ada-runtime/contrib/gcc-8.3.0
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 18:01:47 +01:00
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: provide runtime symbols for elaboration code
2019-02-25 12:39:37 +01:00
ADA_RUNTIME_COMMON_DIR = $(call select_from_ports,ada-runtime)/ada-runtime/src/common
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 18:01:47 +01:00
ADA_RUNTIME_PLATFORM_DIR = $(call select_from_ports,ada-runtime)/ada-runtime/platform
ada-runtime: update to 1.1
2019-07-26 13:59:00 +02:00
INC_DIR += $(ADA_RUNTIME_DIR) \
$(ADA_RUNTIME_LIB_DIR) \
$(ADA_RUNTIME_COMMON_DIR) \
$(ADA_RTS_SOURCE) \
$(ADA_RUNTIME_PLATFORM_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 18:01:47 +01:00
# Disable inline concatenation as this requires additinal runtime support
CC_ADA_OPT += -gnatd.c
Reference in New Issue Copy Permalink