diff --git a/repos/gems/recipes/src/terminal/content.mk b/repos/gems/recipes/src/terminal/content.mk new file mode 100644 index 0000000000..d40b9a7721 --- /dev/null +++ b/repos/gems/recipes/src/terminal/content.mk @@ -0,0 +1,8 @@ +SRC_DIR := src/server/terminal +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +content: include/terminal + +include/terminal: + mkdir -p $@ + cp $(GENODE_DIR)/repos/os/include/terminal/* $@ diff --git a/repos/gems/recipes/src/terminal/hash b/repos/gems/recipes/src/terminal/hash new file mode 100644 index 0000000000..1a983ba135 --- /dev/null +++ b/repos/gems/recipes/src/terminal/hash @@ -0,0 +1 @@ +2017-08-31 1c969353562500e6762fc61dc98eb7ed3ae9b377 diff --git a/repos/gems/recipes/src/terminal/used_apis b/repos/gems/recipes/src/terminal/used_apis new file mode 100644 index 0000000000..9a1a6931e4 --- /dev/null +++ b/repos/gems/recipes/src/terminal/used_apis @@ -0,0 +1,7 @@ +base +os +framebuffer_session +input_session +nitpicker_gfx +terminal_session +timer_session