From 436d946300dd2db6cdc9c889379cdbc870892013 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 23 Aug 2021 18:21:40 +0200
Subject: [PATCH] recipes/api/genode_c_api: add src/lib/genode_c_api

The source codes are needed to use the API because they are statically
linked.
---
 repos/os/recipes/api/genode_c_api/content.mk | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/repos/os/recipes/api/genode_c_api/content.mk b/repos/os/recipes/api/genode_c_api/content.mk
index efb2cf80a1..21bd009dd3 100644
--- a/repos/os/recipes/api/genode_c_api/content.mk
+++ b/repos/os/recipes/api/genode_c_api/content.mk
@@ -1,6 +1,9 @@
-content: include/genode_c_api LICENSE
+MIRROR_FROM_REP_DIR := include/genode_c_api \
+                       src/lib/genode_c_api
 
-include/genode_c_api:
+content: $(MIRROR_FROM_REP_DIR) LICENSE
+
+$(MIRROR_FROM_REP_DIR):
 	$(mirror_from_rep_dir)
 
 LICENSE: