diff --git a/repos/libports/lib/mk/spark.mk b/repos/libports/lib/mk/spark.mk index 3597742b9..bdc4e5944 100644 --- a/repos/libports/lib/mk/spark.mk +++ b/repos/libports/lib/mk/spark.mk @@ -15,7 +15,7 @@ SRC_ADS += system.ads \ ada.ads \ ada_exceptions.ads -SRC_ADB += g-io.adb s-stalib.adb s-secsta.adb s-parame.adb i-c.adb +SRC_ADB += g-io.adb s-stalib.adb s-secsta.adb s-parame.adb i-c.adb s-arit64.adb CUSTOM_ADA_FLAGS = --RTS=$(ADA_RTS) -c -gnatg -gnatp -gnatpg -gnatn2 # C runtime glue code diff --git a/repos/libports/ports/ada-runtime.hash b/repos/libports/ports/ada-runtime.hash index 8b4e5319b..ede283f5e 100644 --- a/repos/libports/ports/ada-runtime.hash +++ b/repos/libports/ports/ada-runtime.hash @@ -1 +1 @@ -3306700040ccc016230b6fe4e9eae6949f0bb67a +3bfde17bb063de40f07b9b99d7a89a9da1af6296 diff --git a/repos/libports/ports/ada-runtime.port b/repos/libports/ports/ada-runtime.port index 219e87efa..f25ba73ae 100644 --- a/repos/libports/ports/ada-runtime.port +++ b/repos/libports/ports/ada-runtime.port @@ -3,7 +3,7 @@ VERSION := 0 DOWNLOADS := ada-runtime.git ada-runtime-alis.git URL(ada-runtime) := https://github.com/Componolit/ada-runtime.git -REV(ada-runtime) := 2f6b93c6b7b29db2e2d3f20c345f5b9801e82ee9 +REV(ada-runtime) := 116876e3bd7125f4e7804e692c56f60be265ca79 DIR(ada-runtime) := ada-runtime URL(ada-runtime-alis) := https://github.com/Componolit/ada-runtime-alis.git diff --git a/repos/libports/recipes/src/spark/content.mk b/repos/libports/recipes/src/spark/content.mk index 1066f3ae6..740b2a72e 100644 --- a/repos/libports/recipes/src/spark/content.mk +++ b/repos/libports/recipes/src/spark/content.mk @@ -11,6 +11,8 @@ MIRROR_FROM_ADA_RT_DIR := \ s-imgint.ads \ s-imgint.adb \ a-unccon.ads \ + s-arit64.ads \ + s-arit64.adb \ gnat.ads \ g-io.ads \ g-io.adb \