Holmakefile

INCLUDES = $(HOLDIR)/examples/machine-code/hoare-triple\
					 $(CAKEMLDIR)/misc\
					 $(CAKEMLDIR)/semantics $(CAKEMLDIR)/semantics/proofs\
					 $(CAKEMLDIR)/basis/pure\
					 $(CAKEMLDIR)/translator\
					 $(CAKEMLDIR)/compiler/parsing

all: $(DEFAULT_TARGETS) README.md
.PHONY: all

README_SOURCES = $(wildcard *Script.sml) $(wildcard *Lib.sml) $(wildcard *Syntax.sml)
DIRS = $(wildcard */)
README.md: $(CAKEMLDIR)/developers/readme_gen readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
	$(protect $(CAKEMLDIR)/developers/readme_gen) $(README_SOURCES)

ifdef POLY
HOLHEAP = $(CAKEMLDIR)/misc/cakeml-heap
endif