Holmakefile

INCLUDES = $(HOLDIR)/examples/balanced_bst\
					 $(CAKEMLDIR)/misc $(CAKEMLDIR)/semantics $(CAKEMLDIR)/semantics/proofs\
					 $(CAKEMLDIR)/basis/pure $(CAKEMLDIR)/basis\
					 $(CAKEMLDIR)/translator $(CAKEMLDIR)/characteristic\
					 $(CAKEMLDIR)/cv_translator\
                                         $(CAKEMLDIR)/compiler $(CAKEMLDIR)/compiler/backend/proofs\
					 $(CAKEMLDIR)/compiler/backend/x64/proofs

all: $(DEFAULT_TARGETS) README.md exercises
.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)

SOLUTIONS = wordfreqProgScript.sml simple_bstScript.sml

ifdef POLY
HOLHEAP = $(CAKEMLDIR)/cv_translator/cake_compile_heap
endif

exercises: $(SOLUTIONS) make_ex
	./make_ex $(SOLUTIONS)

make_ex: make_ex.sml
	$(POLYC) make_ex.sml -o make_ex