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

/seL4-l4v-10.1.1/l4v/spec/cspec/c/
H A DMakefile24 TOOLPREFIX ?= arm-none-eabi- macro
28 TOOLPREFIX ?= riscv64-unknown-elf- macro
33 ifeq ($(shell which ${TOOLPREFIX}cpp),)
35 $(error C Preprocessor '${TOOLPREFIX}cpp' not found)
37 $(warning C Preprocessor '${TOOLPREFIX}cpp' not found; defaulting to native cpp)
38 TOOLPREFIX := macro
65 cmake -DCROSS_COMPILER_PREFIX=${TOOLPREFIX} \
/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A DMakefile.common29 OBJDUMP?=${TOOLPREFIX}objdump
33 TOOLPREFIX?=$(shell bash ${GREF_ROOT}/seL4-example/get_tool_prefix.sh)
34 $(if ${TOOLPREFIX},,$(error failed to pick a toolset))
82 cd build && cmake -DCROSS_COMPILER_PREFIX=${TOOLPREFIX} \

Completed in 79 milliseconds