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
0977574372
genode/repos/libports/recipes/api/spark/content.mk

86 lines
1.8 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
ADA_RT_DIR := $(call port_dir,$(GENODE_DIR)/repos/libports/ports/ada-runtime)
ADA_ALI_DIR := $(call port_dir,$(GENODE_DIR)/repos/libports/ports/ada-runtime)/ada-runtime-alis/alis
MIRROR_FROM_ADA_RT_DIR := \
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 10:33:15 +00:00
$(addprefix 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 17:01:47 +00:00
ada.ads \
a-unccon.ads \
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 10:33:15 +00:00
interfac.ads \
i-cexten.ads \
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
s-maccod.ads \
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 10:33:15 +00:00
s-unstyp.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
$(addprefix ada-runtime/src/minimal/,\
a-except.ads \
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
i-c.ads \
system.ads \
s-arit64.ads \
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
s-expint.ads \
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
s-exctab.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
s-parame.ads \
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
s-secsta.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
s-soflin.ads \
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
s-stalib.ads \
s-stoele.ads \
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 10:33:15 +00:00
) \
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
$(addprefix ada-runtime/src/lib/,\
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
componolit.ads \
componolit-runtime.ads \
componolit-runtime-conversions.ads \
componolit-runtime-debug.ads \
componolit-runtime-exceptions.ads \
componolit-runtime-platform.ads \
componolit-runtime-strings.ads \
) \
ada-runtime/src/common/s-init.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
MIRROR_FROM_ADA_ALI_DIR := \
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
a-except.ali \
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.ali \
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
componolit-runtime-conversions.ali \
componolit-runtime-debug.ali \
componolit-runtime-exceptions.ali \
componolit-runtime-platform.ali \
componolit-runtime-strings.ali \
componolit-runtime.ali \
componolit.ali \
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 10:33:15 +00:00
i-c.ali \
i-cexten.ali \
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
interfac.ali \
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 10:33:15 +00:00
s-arit64.ali \
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
s-expint.ali \
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 10:33:15 +00:00
s-init.ali \
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
s-parame.ali \
s-secsta.ali \
s-soflin.ali \
s-stalib.ali \
s-stoele.ali \
ada-runtime: update to GCC 8.3.0 ref #3362 fixes #3371
2019-05-22 10:33:15 +00:00
s-unstyp.ali \
ada-runtime: update to 1.1
2019-07-26 11:59:00 +00:00
system.ali
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
content: $(MIRROR_FROM_ADA_RT_DIR) $(MIRROR_FROM_ADA_ALI_DIR)
$(MIRROR_FROM_ADA_RT_DIR):
mkdir -p include
ada: fix ada-runtime-alis for current changes Note, this also adapts the spark depot recipe to preserve source-file time stamps.
2019-02-27 16:59:44 +00:00
cp -a $(ADA_RT_DIR)/$@ include/
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
$(MIRROR_FROM_ADA_ALI_DIR):
mkdir -p lib/ali/spark
ada: fix ada-runtime-alis for current changes Note, this also adapts the spark depot recipe to preserve source-file time stamps.
2019-02-27 16:59:44 +00:00
cp -a $(ADA_ALI_DIR)/$@ lib/ali/spark/
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
MIRROR_FROM_REP_DIR := \
lib/import/import-spark.mk \
include/ada \
lib/symbols/spark \
content: $(MIRROR_FROM_REP_DIR)
$(MIRROR_FROM_REP_DIR):
$(mirror_from_rep_dir)
content: lib/mk/spark.mk
lib/mk/spark.mk:
mkdir -p $(dir $@)
ada: fix ada-runtime-alis for current changes Note, this also adapts the spark depot recipe to preserve source-file time stamps.
2019-02-27 16:59:44 +00:00
cp -a $(REP_DIR)/lib/mk/spark.inc $@
Reference in New Issue Copy Permalink