From fd6047f5d813b54aba208680f1e6fac42efba2bc Mon Sep 17 00:00:00 2001
From: Johannes Kliemann <kliemann@componolit.com>
Date: Mon, 25 Feb 2019 13:08:12 +0100
Subject: [PATCH] ada: add Interfaces.C

extensively in auto-generated bindings
---
 repos/libports/lib/mk/spark.mk              | 4 +++-
 repos/libports/recipes/src/spark/content.mk | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/repos/libports/lib/mk/spark.mk b/repos/libports/lib/mk/spark.mk
index 3e11d342da..3597742b9f 100644
--- a/repos/libports/lib/mk/spark.mk
+++ b/repos/libports/lib/mk/spark.mk
@@ -9,12 +9,13 @@ SRC_ADS += system.ads \
 	   s-stoele.ads \
 	   s-unstyp.ads \
 	   interfac.ads \
+	   i-cexten.ads \
 	   a-except.ads \
 	   gnat.ads \
 	   ada.ads \
 	   ada_exceptions.ads
 
-SRC_ADB += g-io.adb s-stalib.adb s-secsta.adb s-parame.adb
+SRC_ADB += g-io.adb s-stalib.adb s-secsta.adb s-parame.adb i-c.adb
 CUSTOM_ADA_FLAGS = --RTS=$(ADA_RTS) -c -gnatg -gnatp -gnatpg -gnatn2
 
 # C runtime glue code
@@ -34,6 +35,7 @@ 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)
+vpath i-c.adb $(ADA_RUNTIME_DIR)
 
 vpath %.ads $(ADA_RTS_SOURCE)
 vpath %.adb $(ADA_RTS_SOURCE)
diff --git a/repos/libports/recipes/src/spark/content.mk b/repos/libports/recipes/src/spark/content.mk
index 8791ab2056..1066f3ae66 100644
--- a/repos/libports/recipes/src/spark/content.mk
+++ b/repos/libports/recipes/src/spark/content.mk
@@ -14,6 +14,7 @@ MIRROR_FROM_ADA_RT_DIR := \
 		gnat.ads \
 		g-io.ads \
 		g-io.adb \
+		i-cexten.ads \
 	) \
 	ada-runtime/src \
 	ada-runtime/platform/genode.cc