From a932fc2e5a29daa3b3c94dd1ffeef90a7a1b8bac Mon Sep 17 00:00:00 2001 From: Sebastian Sumpf Date: Tue, 12 Sep 2017 15:06:59 +0200 Subject: [PATCH] depot: recipe for rump/file_system Ref #2446 --- repos/dde_rump/lib/mk/rump.inc | 2 +- repos/dde_rump/recipes/src/rump/content.mk | 26 +++++++++++++++++++++ repos/dde_rump/recipes/src/rump/hash | 1 + repos/dde_rump/recipes/src/rump/used_apis | 7 ++++++ repos/os/recipes/api/file_system/content.mk | 9 +++++++ repos/os/recipes/api/file_system/hash | 1 + 6 files changed, 45 insertions(+), 1 deletion(-) create mode 100644 repos/dde_rump/recipes/src/rump/content.mk create mode 100644 repos/dde_rump/recipes/src/rump/hash create mode 100644 repos/dde_rump/recipes/src/rump/used_apis create mode 100644 repos/os/recipes/api/file_system/content.mk create mode 100644 repos/os/recipes/api/file_system/hash diff --git a/repos/dde_rump/lib/mk/rump.inc b/repos/dde_rump/lib/mk/rump.inc index 32b8dd644..24a5f247b 100644 --- a/repos/dde_rump/lib/mk/rump.inc +++ b/repos/dde_rump/lib/mk/rump.inc @@ -17,7 +17,7 @@ SHARED_LIB = yes LD_OPT += --whole-archive --start-group $(ARCHIVE) --end-group \ --no-whole-archiv -LD_SCRIPT_SO = $(call select_from_repositories,src/ld/genode_rel.ld) \ +LD_SCRIPT_SO = $(BASE_DIR)/src/ld/genode_rel.ld \ -T$(REP_DIR)/src/ld/rump.ld # vi:set ft=make : diff --git a/repos/dde_rump/recipes/src/rump/content.mk b/repos/dde_rump/recipes/src/rump/content.mk new file mode 100644 index 000000000..0d4fdf6f1 --- /dev/null +++ b/repos/dde_rump/recipes/src/rump/content.mk @@ -0,0 +1,26 @@ +LIB_MK := $(addprefix lib/mk/,rump_fs.mk vfs_rump.mk rump.inc rump_base.inc) \ + $(foreach SPEC,x86_32 x86_64 arm,lib/mk/spec/$(SPEC)/rump.mk) + +PORT_DIR := $(call port_dir,$(REP_DIR)/ports/dde_rump) + +MIRROR_FROM_REP_DIR := $(LIB_MK) \ + lib/import/import-rump.mk \ + src/ld src/lib src/server/rump_fs \ + include/rump include/rump_fs \ + include/util + +MIRROR_FROM_PORT_DIR := $(addprefix src/lib/dde_rump/, brlib nblibs src) \ + $(shell cd $(PORT_DIR); find src/lib/dde_rump -maxdepth 1 -type f) + +content: $(MIRROR_FROM_REP_DIR) $(MIRROR_FROM_PORT_DIR) + +$(MIRROR_FROM_REP_DIR): + $(mirror_from_rep_dir) + +$(MIRROR_FROM_PORT_DIR): + mkdir -p $(dir $@) + cp -r $(PORT_DIR)/$@ $@ + +content: LICENSE +LICENSE: + cp $(PORT_DIR)/src/lib/dde_rump/$@ $@ diff --git a/repos/dde_rump/recipes/src/rump/hash b/repos/dde_rump/recipes/src/rump/hash new file mode 100644 index 000000000..38da3eb5e --- /dev/null +++ b/repos/dde_rump/recipes/src/rump/hash @@ -0,0 +1 @@ +2017-09-12 da39a3ee5e6b4b0d3255bfef95601890afd80709 diff --git a/repos/dde_rump/recipes/src/rump/used_apis b/repos/dde_rump/recipes/src/rump/used_apis new file mode 100644 index 000000000..a36c6f188 --- /dev/null +++ b/repos/dde_rump/recipes/src/rump/used_apis @@ -0,0 +1,7 @@ +base +os +block_session +file_system +file_system_session +timer_session +vfs diff --git a/repos/os/recipes/api/file_system/content.mk b/repos/os/recipes/api/file_system/content.mk new file mode 100644 index 000000000..faab6e5b0 --- /dev/null +++ b/repos/os/recipes/api/file_system/content.mk @@ -0,0 +1,9 @@ +MIRRORED_FROM_REP_DIR := include/file_system + +content: $(MIRRORED_FROM_REP_DIR) LICENSE + +$(MIRRORED_FROM_REP_DIR): + $(mirror_from_rep_dir) + +LICENSE: + cp $(GENODE_DIR)/LICENSE $@ diff --git a/repos/os/recipes/api/file_system/hash b/repos/os/recipes/api/file_system/hash new file mode 100644 index 000000000..e486030ee --- /dev/null +++ b/repos/os/recipes/api/file_system/hash @@ -0,0 +1 @@ +2017-09-12 7bf41efb2504e5bb247633c808314958cef0747c