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

/seL4-l4v-master/graph-refine/seL4-example/
H A DMakefile43 DECOMP_DIR := ${HOL4_ROOT}/examples/machine-code/graph macro
44 DECOMP_SCRIPT := $(shell PATH="${DECOMP_DIR}:${PATH}" sh -c "which decompile.py")
48 $(if ${DECOMP_SCRIPT},,$(error decompile.py not executable in ${DECOMP_DIR}))

Completed in 30 milliseconds