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

/seL4-l4v-10.1.1/l4v/spec/haskell/
H A DMakefile16 BOOT_FILES=$(BOOT_MODULES:%=src/SEL4/%.lhs-boot) macro
35 build-arm: sandbox $(BOOT_FILES)
41 build-arm-hyp: sandbox $(BOOT_FILES) $(CUSTOM_BOOT_FILES)
47 build-arm-hyp-nosmmu: sandbox $(BOOT_FILES) $(CUSTOM_BOOT_FILES)
53 build-x64: sandbox $(BOOT_FILES)
59 build-riscv: sandbox $(BOOT_FILES)
84 rm -f $(BOOT_FILES)
88 rm -rf $(BOOT_FILES) dist .stack-work .cabal-sandbox cabal.sandbox.config

Completed in 33 milliseconds