Holmakefile

# $(CAKEMLDIR)/translator -> ml_translatorLib
# $(CAKEMLDIR)/basis -> basisProg
# $(CAKEMLDIR)/basis/pure -> mlint
# $(CAKEMLDIR)/compiler/parsing -> fromSexpTheory
# $(CAKEMLDIR)/semantics -> astTheory
# $(CAKEMLDIR)/misc -> preamble
# $(HOLDIR)/examples/formal-languages/context-free -> simpleSexpTheory
INCLUDES = $(CAKEMLDIR)/translator $(CAKEMLDIR)/basis $(CAKEMLDIR)/basis/pure $(CAKEMLDIR)/compiler/parsing $(CAKEMLDIR)/semantics $(CAKEMLDIR)/misc $(HOLDIR)/examples/formal-languages/context-free

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

README_SOURCES = $(wildcard *Script.sml) $(wildcard *Lib.sml) $(wildcard *Syntax.sml)
# Filter out tests/ (they don't have a readmePrefix)
DIRS = $(patsubst tests/,,$(wildcard */))
README.md: $(CAKEMLDIR)/developers/readme_gen tests/README.md readmePrefix $(patsubst %,%readmePrefix,$(DIRS)) $(README_SOURCES)
	$(CAKEMLDIR)/developers/readme_gen $(README_SOURCES)

EXTRA_CLEANS = dafny_ast-heap

ifdef POLY

all: dafny_ast-heap

dafny_ast-heap: dafny_astTheory.uo
	$(HOLDIR)/bin/buildheap -o $@ $<

HOLHEAP = $(CAKEMLDIR)/basis/basis-heap

endif