Searched defs:AC_DIR (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/cogent/c-refinement/tests/trivial/
H A DMakefile11 AC_DIR=$(COGENT_ROOT)/autocorres macro
/seL4-camkes-master/tools/cogent/
H A Dbuild-env.mk22 AC_DIR:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$AC_DIR") macro

Completed in 35 milliseconds