Searched refs:SOURCE_ROOT (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/l4v/spec/cspec/c/
H A DMakefile12 SOURCE_ROOT=${PWD}/../../../../seL4 macro
49 KERNEL_DEPS = $(shell find ${SOURCE_ROOT} -type f)
61 ${BUILDROOT}/.cmake_done: ${SOURCE_ROOT}/gcc.cmake ${SOURCE_ROOT}/configs/${CONFIG} ${KERNEL_DEPS} ${CONFIG_DOMAIN_SCHEDULE}
66 -DCMAKE_TOOLCHAIN_FILE=${SOURCE_ROOT}/gcc.cmake -C ${SOURCE_ROOT}/configs/${CONFIG} \
71 -DKernelDomainSchedule=${CONFIG_DOMAIN_SCHEDULE} -G Ninja ${SOURCE_ROOT}
/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A DMakefile.common17 SOURCE_ROOT?=../../seL4
62 KERNEL_DEPS = $(shell find ${SOURCE_ROOT} -type f)
76 ABS_SOURCE_ROOT=$(realpath ${SOURCE_ROOT})
105 bash mk_summ ${SOURCE_ROOT} >> pre_summary.txt

Completed in 88 milliseconds