Searched defs:ISABELLE_HOME (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/l4v/misc/
H A Disa-common.mk22 export ISABELLE_HOME=${L4V_REPO_PATH}/isabelle macro
/seL4-l4v-master/l4v/tools/c-parser/
H A DMakefile34 export ISABELLE_HOME=${L4V_ROOT_DIR}/isabelle macro
/seL4-l4v-master/l4v/spec/cspec/c/
H A Dkernel.mk60 export ISABELLE_HOME:=${L4V_REPO_PATH}/isabelle macro
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/
H A DMakefile13 ISABELLE_HOME ?= $(STP_PFX)/../../../isabelle macro

Completed in 50 milliseconds