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

/seL4-l4v-10.1.1/l4v/proof/
H A DMakefile26 HEAPS += AInvs BaseRefine BaseRefine2 Refine RefineOrphanage
29 HEAPS += CKernel CSpec CBaseRefine CRefine
32 HEAPS += DBaseRefine DRefine DPolicy SepDSpec DSpecProofs
35 HEAPS += Access InfoFlow InfoFlowCBase InfoFlowC
38 HEAPS += SimplExportAndRefine
41 HEAPS += Bisim
44 HEAPS += SepTactics SepTacticsExamples
/seL4-l4v-10.1.1/l4v/sys-init/
H A DMakefile23 HEAPS += SysInit SysInitExamples
/seL4-l4v-10.1.1/l4v/tools/asmrefine/
H A DMakefile18 HEAPS += AsmRefine AsmRefineTest
/seL4-l4v-10.1.1/l4v/misc/
H A Disa-common.mk13 # This file should be included after defining a "HEAPS" variable containing the
47 $(HEAPS): .FORCE
49 .PHONY: $(HEAPS)
59 rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/%)
60 rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/log/%.gz)
61 rm -f $(HEAPS:%=$(ISABELLE_OUTPUT)/log/%)
/seL4-l4v-10.1.1/l4v/camkes/
H A DMakefile24 HEAPS += CamkesAdlSpec CamkesCdlRefine CamkesGlueSpec CamkesGlueProofs
/seL4-l4v-10.1.1/l4v/tools/c-parser/
H A DMakefile31 HEAPS += Simpl-VCG CParser
45 $(HEAPS): .FORCE
47 .PHONY: $(HEAPS)
/seL4-l4v-10.1.1/l4v/spec/
H A DMakefile30 HEAPS += ASpec ASpecDoc ExecSpec DSpec CKernel CSpec TakeGrant ASepSpec
/seL4-l4v-10.1.1/l4v/tools/autocorres/
H A DMakefile77 HEAPS := AutoCorres macro

Completed in 86 milliseconds