Permalink
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
13 lines (10 sloc) 480 Bytes
INCLUDES = $(CAKEMLDIR)/misc\
$(CAKEMLDIR)/semantics $(CAKEMLDIR)/semantics/proofs\
$(CAKEMLDIR)/characteristic\
.. monad_base
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)