diff --git a/repos/ports/recipes/src/vbox_pointer/content.mk b/repos/ports/recipes/src/vbox_pointer/content.mk new file mode 100644 index 000000000..0d1ca6fe4 --- /dev/null +++ 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) diff --git a/repos/ports/recipes/src/vbox_pointer/hash b/repos/ports/recipes/src/vbox_pointer/hash new file mode 100644 index 000000000..8ce105a5f --- /dev/null +++ b/repos/ports/recipes/src/vbox_pointer/hash @@ -0,0 +1 @@ +2017-09-11-a d99b3790196cc54403542742e734af140524c05f diff --git a/repos/ports/recipes/src/vbox_pointer/used_apis b/repos/ports/recipes/src/vbox_pointer/used_apis new file mode 100644 index 000000000..8d277d606 --- /dev/null +++ b/repos/ports/recipes/src/vbox_pointer/used_apis @@ -0,0 +1,6 @@ +base +os +gems +input_session +nitpicker_session +framebuffer_session