-
Notifications
You must be signed in to change notification settings - Fork 83
/
Holmakefile
20 lines (17 loc) · 674 Bytes
/
Holmakefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
INCLUDES = $(CAKEMLDIR)/misc\
$(CAKEMLDIR)/semantics\
$(CAKEMLDIR)/basis\
$(CAKEMLDIR)/translator/monadic\
$(CAKEMLDIR)/characteristic\
$(CAKEMLDIR)/candle/standard/monadic\
$(CAKEMLDIR)/candle/standard/semantics\
$(CAKEMLDIR)/candle/standard//ml_kernel
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)/basis/basis-heap
endif