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

/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/
H A DMakefile73 X64_MLB_PATH := -mlb-path-var 'L4V_ARCH X64' macro
78 PARSER_DEPS_X64 := $(shell mlton $(X64_MLB_PATH) -stop f $(STP_PFX)/c-parser.mlb)
83 TOKENIZER_DEPS_X64 := $(shell mlton $(X64_MLB_PATH) -stop f $(STP_PFX)/tokenizer.mlb)
93 mlton $(X64_MLB_PATH) -output $@ $<
105 mlton $(X64_MLB_PATH) -output $@ $<

Completed in 100 milliseconds