diff --git a/repos/libports/lib/mk/spark.mk b/repos/libports/lib/mk/spark.mk index 7bb5059757..aad3bd88df 100644 --- a/repos/libports/lib/mk/spark.mk +++ b/repos/libports/lib/mk/spark.mk @@ -3,15 +3,26 @@ 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 \ - i-cexten.ads \ - a-except.ads \ - ada.ads +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 -SRC_ADB += s-stalib.adb s-secsta.adb s-parame.adb i-c.adb s-arit64.adb s-expint.adb s-stoele.adb s-init.adb CUSTOM_ADA_FLAGS = --RTS=$(ADA_RTS) -c -gnatg -gnatp -gnatpg -gnatn2 # C runtime glue code @@ -40,6 +51,7 @@ vpath a-except.adb $(ADA_RUNTIME_DIR) vpath i-c.adb $(ADA_RUNTIME_DIR) vpath s-arit64.adb $(ADA_RUNTIME_DIR) vpath s-expint.adb $(ADA_RUNTIME_DIR) +vpath s-imenne.adb $(ADA_RUNTIME_DIR) vpath system.ads $(ADA_RUNTIME_DIR) vpath s-stoele.adb $(ADA_RUNTIME_DIR) vpath s-init.adb $(ADA_RUNTIME_DIR) diff --git a/repos/libports/ports/ada-runtime.hash b/repos/libports/ports/ada-runtime.hash index 82fbbf354c..99e380c502 100644 --- a/repos/libports/ports/ada-runtime.hash +++ b/repos/libports/ports/ada-runtime.hash @@ -1 +1 @@ -fabce1ce8b266d045615050e8e326159ae888a0d +09f27925360f6794d75e6190a0a3d638f2e6f78d diff --git a/repos/libports/ports/ada-runtime.port b/repos/libports/ports/ada-runtime.port index bf735c0e14..47e42fdb8d 100644 --- a/repos/libports/ports/ada-runtime.port +++ b/repos/libports/ports/ada-runtime.port @@ -3,9 +3,9 @@ VERSION := 0 DOWNLOADS := ada-runtime.git ada-runtime-alis.git URL(ada-runtime) := https://github.com/m-stein/ada-runtime.git -REV(ada-runtime) := 6e3e054e6de7b8b355d42b6b4107fe9a6ba08142 +REV(ada-runtime) := c3e46dbb46a088cc305addee4556062c7624eb90 DIR(ada-runtime) := ada-runtime -URL(ada-runtime-alis) := https://github.com/cnuke/ada-runtime-alis.git -REV(ada-runtime-alis) := c8df42f821cf1ec4c56dd2c6fc5939fcde39a2d5 +URL(ada-runtime-alis) := https://github.com/m-stein/ada-runtime-alis.git +REV(ada-runtime-alis) := 8d970b545ff9717ef005fa28688b9c35f1f4a609 DIR(ada-runtime-alis) := ada-runtime-alis diff --git a/repos/libports/recipes/api/spark/content.mk b/repos/libports/recipes/api/spark/content.mk index d774c2282a..d0ebf6d703 100644 --- a/repos/libports/recipes/api/spark/content.mk +++ b/repos/libports/recipes/api/spark/content.mk @@ -16,6 +16,7 @@ MIRROR_FROM_ADA_RT_DIR := \ system.ads \ s-arit64.ads \ s-expint.ads \ + s-imenne.ads \ s-exctab.ads \ s-parame.ads \ s-secsta.ads \ @@ -49,6 +50,7 @@ MIRROR_FROM_ADA_ALI_DIR := \ interfac.ali \ s-arit64.ali \ s-expint.ali \ + s-imenne.ali \ s-init.ali \ s-parame.ali \ s-secsta.ali \ diff --git a/repos/libports/recipes/src/spark/content.mk b/repos/libports/recipes/src/spark/content.mk index 5d13692334..b1d2bdf9bf 100644 --- a/repos/libports/recipes/src/spark/content.mk +++ b/repos/libports/recipes/src/spark/content.mk @@ -19,6 +19,8 @@ MIRROR_FROM_ADA_RT_DIR := \ s-arit64.adb \ s-expint.ads \ s-expint.adb \ + s-imenne.ads \ + s-imenne.adb \ s-exctab.ads \ s-exctab.adb \ s-parame.ads \