portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

libsel4: Generate in build directory

Browse source 
Corrects arch and sel4_arch invocation.h generation to place files in the build directory
and not in the source directory.
This commit is contained in:
Adrian Danis 2018-04-17 11:16:40 +10:00
parent cc1a2820da
commit fa6e8a8238
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
libsel4/Makefile
View file

@ -54,6 +54,7 @@ HDRFILES := \
$(wildcard $(SOURCE_DIR)/mode_include/$(TYPE_SUFFIX)/*) \
$(BUILD_DIR)/include/sel4 \
$(BUILD_DIR)/include/interfaces \
$(BUILD_DIR)/arch_include/${ARCH}/* \
$(BUILD_DIR)/sel4_arch_include/$(SEL4_ARCH)/*
#TODO proper prefix instruction
@ -81,14 +82,14 @@ include/sel4/invocation.h: ${SOURCE_DIR}/include/interfaces/sel4.xml
sel4_arch_include/${SEL4_ARCH}/sel4/sel4_arch/invocation.h: ${SOURCE_DIR}/sel4_arch_include/${SEL4_ARCH}/interfaces/sel4arch.xml
@echo " [GEN] $@"
@mkdir -p $(dir $@)
@${CHANGED_PATH} ${SOURCE_DIR}/$@ ${PYTHON} ${INVOCATION_ID_GEN_PATH} \
--xml $< --libsel4 --sel4_arch --dest ${SOURCE_DIR}/$@
@${CHANGED_PATH} $@ ${PYTHON} ${INVOCATION_ID_GEN_PATH} \
--xml $< --libsel4 --sel4_arch --dest $@
arch_include/${ARCH}/sel4/arch/invocation.h: ${SOURCE_DIR}/arch_include/${ARCH}/interfaces/sel4arch.xml
@echo " [GEN] $@"
@mkdir -p $(dir $@)
@${CHANGED_PATH} ${SOURCE_DIR}/$@ ${PYTHON} ${INVOCATION_ID_GEN_PATH} \
--xml $< --libsel4 --arch --dest ${SOURCE_DIR}/$@
@${CHANGED_PATH} $@ ${PYTHON} ${INVOCATION_ID_GEN_PATH} \
--xml $< --libsel4 --arch --dest $@
# Header generator
include/sel4/syscall.h: ${SOURCE_DIR}/include/api/syscall.xsd \