INCLUDES = $(HOLDIR)/examples/machine-code/compiler \
           $(HOLDIR)/examples/machine-code/decompiler \
           $(HOLDIR)/examples/machine-code/hoare-triple \
           $(HOLDIR)/tools/mlyacc/mlyacclib \
           $(HOLDIR)/examples/machine-code/instruction-set-models/common \
           $(HOLDIR)/examples/machine-code/instruction-set-models/x86 \
           $(HOLDIR)/examples/machine-code/instruction-set-models/ppc \
           $(HOLDIR)/examples/ARM/v7
OPTIONS = QUIT_ON_FAILURE

ifdef POLY
HOLHEAP = miniml-heap
EXTRA_CLEANS = $(HOLHEAP) $(HOLHEAP).o

BARE_THYS = $(HOLDIR)/examples/machine-code/compiler/compilerLib
DEPS = $(patsubst %,%.uo,$(BARE_THYS))

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