genode/repos/ports/recipes/api/noux/content.mk

mirror of https://github.com/genodelabs/genode.git synced 2024-12-20 06:07:59 +00:00
MIRROR_FROM_REP_DIR := mk/noux.mk mk/gnu_build.mk

content:$(MIRROR_FROM_REP_DIR) LICENSE

$(MIRROR_FROM_REP_DIR):
	$(mirror_from_rep_dir)

LICENSE:
	cp $(GENODE_DIR)/LICENSE $@
Remove noux runtime The feature set of noux is fully covered by the regular C runtime now. Fixes #3696 2020-03-26 15:37:36 +00:00			`MIRROR_FROM_REP_DIR := mk/noux.mk mk/gnu_build.mk`
Recipes for noux API, bash, posix 2017-05-14 19:58:56 +00:00
			`content:$(MIRROR_FROM_REP_DIR) LICENSE`

			`$(MIRROR_FROM_REP_DIR):`
			`$(mirror_from_rep_dir)`

			`LICENSE:`
			`cp $(GENODE_DIR)/LICENSE $@`