Cross Reference: /seL4-l4v-master/graph-refine/seL4-example/Makefile

30 TARGET_DIR := target/${TARGET_NAME}
34 KERNEL_BUILD_ROOT := ${TARGET_DIR}/build
63 ${TARGET_DIR}/summary.txt: ${TARGET_DIR}/kernel_all.c_pp
74 KERNEL_PATHS := $(patsubst %, $(TARGET_DIR)/%, $(KERNEL_FILES))
75 TARGET_PATHS := $(patsubst %, $(TARGET_DIR)/%, $(TARGET_FILES))
77 KERNEL_TGZ := ${TARGET_DIR}/kernel.tar.gz
78 TARGET_TGZ := ${TARGET_DIR}/target.tar.gz
81 	tar -czf $@ -C ${TARGET_DIR} ${KERNEL_FILES}
84 	tar -czf $@ -C ${TARGET_DIR} ${KERNEL_FILES} ${TARGET_FILES}
88 ${KERNEL_PATHS}: ${TARGET_DIR}/%: ${KERNEL_BUILD_ROOT}/%
89 	@mkdir -p ${TARGET_DIR}
106 ${TARGET_DIR}/.diff: ${KERNEL_ALL_PP_FILES}
108 	@mkdir -p ${TARGET_DIR}
111 diff: ${TARGET_DIR}/.diff
117 ${TARGET_DIR}/ASMFunctions.txt: ${TARGET_DIR}/kernel.elf.txt ${TARGET_DIR}/kernel.sigs
118 	cd ${TARGET_DIR} && PATH=${H4PATH} ${DECOMP_SCRIPT} --fast ./kernel --ignore=${IGNORES_${L4V_CONFIG}}
119 	mv ${TARGET_DIR}/kernel_mc_graph.txt ${TARGET_DIR}/ASMFunctions.txt
121 ${TARGET_DIR}/CFunctions.txt: ${L4V_KERNEL_BUILD_PATH}/kernel_all.c_pp ${L4V_REPO_PATH}/tools/asmrefine/*.thy
122 	@mkdir -p ${TARGET_DIR}
127 ${TARGET_DIR}/target.py: target.py
128 	@mkdir -p ${TARGET_DIR}
132   ${TARGET_DIR}/kernel.elf.rodata \
133   ${TARGET_DIR}/kernel.elf.symtab \
134   ${TARGET_DIR}/ASMFunctions.txt \
135   ${TARGET_DIR}/CFunctions.txt \
136   ${TARGET_DIR}/target.py \
141 ${TARGET_DIR}/StackBounds.txt: ${GRAPH_REFINE_INPUTS}
142 	${GRAPH_REFINE} ${TARGET_DIR}
144 ${TARGET_DIR}/demo-report.txt: ${TARGET_DIR}/StackBounds.txt ${GRAPH_REFINE_INPUTS}
145 	${GRAPH_REFINE} ${TARGET_DIR} trace-to:$@.partial deps:Kernel_C.cancelAllIPC
148 ${TARGET_DIR}/report.txt: ${TARGET_DIR}/StackBounds.txt ${GRAPH_REFINE_INPUTS}
149 	${GRAPH_REFINE} ${TARGET_DIR} trace-to:$@.partial all
152 ${TARGET_DIR}/coverage.txt: ${TARGET_DIR}/StackBounds.txt ${GRAPH_REFINE_INPUTS}
153 	${GRAPH_REFINE} ${TARGET_DIR} trace-to:$@.partial coverage
156 report: ${TARGET_DIR}/report.txt
157 coverage: ${TARGET_DIR}/coverage.txt
158 StackBounds: ${TARGET_DIR}/StackBounds.txt
170 TARGET_DIR_ABS := $(realpath TARGET_DIR)
172 ${TARGET_DIR}/loop_counts_1.py: ${TARGET_DIR}/StackBounds.txt ${GRAPH_REFINE_INPUTS}
174 	cp ${TARGET_DIR}/loop_counts.py $@
176 ${TARGET_DIR}/lb_reports/report_%.txt: ${TARGET_DIR}/loop_counts_1.py
177 	@mkdir -p ${TARGET_DIR}/lb_reports
179 	tail -n 500 ${TARGET_DIR}/lb_reports/pre-report_$*.txt > $@
180 	rm ${TARGET_DIR}/lb_reports/pre-report_$*.txt
182 ALL_LB_REPORTS := $(patsubst %, ${TARGET_DIR}/lb_reports/report_%.txt, 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 )
184 ${TARGET_DIR}/lb_reports/fin_report.txt: ${ALL_LB_REPORTS}
186 	mv ${TARGET_DIR}/lb_reports/pre-freport.txt $@
188 lb: ${TARGET_DIR}/lb_reports/fin_report.txt