Holmakefile

OPTIONS = QUIT_ON_FAILURE
INCLUDES = ../misc ../semantics parsing inference backend\
           backend/reg_alloc encoders/asm ../basis ../characteristic\
           backend/arm6 backend/arm8 backend/mips backend/riscv\
           backend/x64\
           $(HOLDIR)/examples/formal-languages/context-free

all: compilerTheory.uo compilationLib.uo
.PHONY: all

ifdef POLY
HOLHEAP = heap
PARENT_HOLHEAP = backend/heap
EXTRA_CLEANS = $(HOLHEAP) $(HOLHEAP).o
all: $(HOLHEAP)

BARE_THYS = parsing/cmlParseTheory inference/inferTheory backend/backendTheory ../basis/basisProgTheory
DEPS = $(patsubst %,%.uo,$(BARE_THYS)) $(PARENT_HOLHEAP)

$(HOLHEAP): $(DEPS)
	$(protect $(HOLDIR)/bin/buildheap) -b $(PARENT_HOLHEAP) -o $(HOLHEAP) $(BARE_THYS)

endif