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

/seL4-l4v-10.1.1/l4v/spec/cspec/c/
H A DMakefile17 BUILDROOT=${PWD}/build/${L4V_ARCH} macro
19 UMM_TYPES=${BUILDROOT}/umm_types.txt
52 ${BUILDROOT}/kernel_all.c_pp: ${BUILDROOT}/.cmake_done
53 cd ${BUILDROOT} && ninja kernel_all_pp_wrapper
54 cp -a ${BUILDROOT}/kernel_all_pp.c $@
61 ${BUILDROOT}/.cmake_done: ${SOURCE_ROOT}/gcc.cmake ${SOURCE_ROOT}/configs/${CONFIG} ${KERNEL_DEPS} ${CONFIG_DOMAIN_SCHEDULE}
62 rm -rf ${BUILDROOT}
63 mkdir -p ${BUILDROOT}
64 cd ${BUILDROOT}
[all...]

Completed in 25 milliseconds