From 15606dfc497094fb36cd48f85e94e62ca151c785 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 13 Sep 2017 16:14:40 +0200
Subject: [PATCH] depot: recipe for api/stdcxx

This recipe copies the entire stdcxx library into the API archive, which
is an interim solution until we introduce a proper ABI for stdcxx. With
this current version, every user of the stdcxx ABI will implicitly build
the stdcxx library.
---
 repos/libports/recipes/api/stdcxx/content.mk | 32 ++++++++++++++++++++
 repos/libports/recipes/api/stdcxx/hash       |  1 +
 2 files changed, 33 insertions(+)
 create mode 100644 repos/libports/recipes/api/stdcxx/content.mk
 create mode 100644 repos/libports/recipes/api/stdcxx/hash

diff --git a/repos/libports/recipes/api/stdcxx/content.mk b/repos/libports/recipes/api/stdcxx/content.mk
new file mode 100644
index 000000000..b59c737a3
--- /dev/null
+++ b/repos/libports/recipes/api/stdcxx/content.mk
@@ -0,0 +1,32 @@
+MIRROR_FROM_REP_DIR := lib/import/import-stdcxx.mk \
+                       lib/mk/stdcxx-c++98.mk \
+                       lib/mk/stdcxx.mk
+
+content: $(MIRROR_FROM_REP_DIR)
+
+$(MIRROR_FROM_REP_DIR):
+	$(mirror_from_rep_dir)
+
+PORT_DIR := $(call port_dir,$(REP_DIR)/ports/stdcxx)
+
+content: include/stdcxx
+
+include/stdcxx:
+	mkdir -p $@
+	cp -r $(PORT_DIR)/include/stdcxx/* $@/
+	cp -r $(REP_DIR)/include/stdcxx/bits/* $@/bits/
+
+MIRROR_FROM_PORT_DIR := src/lib/stdcxx
+
+content: $(MIRROR_FROM_PORT_DIR)
+
+$(MIRROR_FROM_PORT_DIR):
+	mkdir -p $(dir $@)
+	cp -r $(PORT_DIR)/$@ $(dir $@)
+
+content: LICENSE
+
+LICENSE:
+	( echo "GNU GPL version 3 with runtime library exception,"; \
+	  echo "see src/lib/stdcxx/doc/html/manual/license.html" ) > $@
+
diff --git a/repos/libports/recipes/api/stdcxx/hash b/repos/libports/recipes/api/stdcxx/hash
new file mode 100644
index 000000000..084305b9b
--- /dev/null
+++ b/repos/libports/recipes/api/stdcxx/hash
@@ -0,0 +1 @@
+2017-09-13-b 1864aa9b86ffcf012560511390c2f309d12a55df