mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-09 03:52:56 +00:00
7bb8e332a9
This patch updates the recipes for the base-<kernel> archives to the recently removed os/config.h and os/timeout.h headers.
33 lines
840 B
PHP
33 lines
840 B
PHP
#
|
|
# Common content rules shared among all base-<kernel> source archives
|
|
#
|
|
|
|
content: src/include src/core src/lib src/drivers/timer lib/mk LICENSE
|
|
|
|
src/include src/core src/lib lib/mk:
|
|
mkdir -p $@
|
|
cp -r $(GENODE_DIR)/repos/base/$@/* $@
|
|
cp -r $(REP_DIR)/$@/* $@
|
|
|
|
LICENSE:
|
|
cp $(GENODE_DIR)/LICENSE $@
|
|
|
|
content: etc/specs.conf
|
|
|
|
etc/specs.conf:
|
|
$(mirror_from_rep_dir)
|
|
|
|
MIRRORED_FROM_OS := $(addprefix lib/mk/,timeout.mk alarm.mk timed_semaphore.mk)\
|
|
$(addprefix src/lib/,timeout alarm timed_semaphore) \
|
|
$(addprefix include/os/,alarm.h duration.h timed_semaphore.h) \
|
|
include/timer/timeout.h \
|
|
include/timer_session
|
|
|
|
content: $(MIRRORED_FROM_OS)
|
|
|
|
$(MIRRORED_FROM_OS): lib/mk
|
|
|
|
$(MIRRORED_FROM_OS):
|
|
mkdir -p $(dir $@)
|
|
cp -r $(GENODE_DIR)/repos/os/$@ $(dir $@)
|