Holmakefile

INCLUDES = $(HOLDIR)/examples/formal-languages/context-free\
           $(CAKEMLDIR)/developers $(CAKEMLDIR)/misc\
	   $(CAKEMLDIR)/unverified/sexpr-bootstrap\
	   $(CAKEMLDIR)/semantics $(CAKEMLDIR)/characteristic\
	   $(CAKEMLDIR)/compiler $(CAKEMLDIR)/compiler/inference\
	   $(CAKEMLDIR)/compiler/backend/semantics\
           $(CAKEMLDIR)/icing $(CAKEMLDIR)/icing/flover

#Explicitly without $(DEFAULT_TARGETS) to reduce compilation time
DEFAULT_TARGETS = dopplerProgCompTheory.uo
all: $(DEFAULT_TARGETS) README.md dirs
.PHONY: all

dirs:
	mkdir -p output/1 output/2 output/3 output/4 output/6 output/8 output/9
.PHONY: dirs

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)
	$(CAKEMLDIR)/developers/readme_gen $(README_SOURCES)

PROGTARGETS = $(patsubst %Script.sml, %Theory.uo, $(wildcard *ProgCompScript.sml))
progs: $(PROGTARGETS)
.PHONY: progs