depot: recipe for src/vbox_pointer

2017-09-11 08:02:19 +02:00 · 2017-09-11 08:02:19 +02:00 · 796810ea06
parent 47b7ce5149
commit 796810ea06
3 changed files with 14 additions and 0 deletions
--- a/repos/ports/recipes/src/vbox_pointer/content.mk
+++ b/repos/ports/recipes/src/vbox_pointer/content.mk
@ -0,0 +1,7 @@
+SRC_DIR := src/app/vbox_pointer
+include $(GENODE_DIR)/repos/base/recipes/src/content.inc
+
+content: include/vbox_pointer
+
+include/vbox_pointer:
+	$(mirror_from_rep_dir)
--- a/repos/ports/recipes/src/vbox_pointer/hash
+++ b/repos/ports/recipes/src/vbox_pointer/hash
@ -0,0 +1 @@
+2017-09-11-a d99b3790196cc54403542742e734af140524c05f
--- a/repos/ports/recipes/src/vbox_pointer/used_apis
+++ b/repos/ports/recipes/src/vbox_pointer/used_apis
@ -0,0 +1,6 @@
+base
+os
+gems
+input_session
+nitpicker_session
+framebuffer_session
				`@ -0,0 +1 @@`
				`2017-09-11-a d99b3790196cc54403542742e734af140524c05f`