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

/seL4-l4v-10.1.1/l4v/spec/cspec/c/
H A DMakefile13 PARSERPATH=${PWD}/../../../tools/c-parser/standalone-parser macro
14 PATH:=${PARSERPATH}:${PATH}
/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A DMakefile.common21 PARSERPATH?=${L4V_ROOT}/tools/c-parser/standalone-parser
99 MAKEFILES= make -C ${PARSERPATH} standalone-cparser
100 ${PARSERPATH}/c-parser ${L4V_ARCH} --underscore_idents --mmbytes $^ > $@.tmp

Completed in 26 milliseconds