Searched defs:COGENT_LIBGUM_DIR (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/cogent/ | ||
H A D | build-env.mk | 27 COGENT_LIBGUM_DIR:=$(shell source "$(BUILD_ENV_MK_DIR)"/build-env.sh; echo "$$COGENT_LIBGUM_DIR") macro |
Completed in 24 milliseconds