-
Notifications
You must be signed in to change notification settings - Fork 1
/
Holmakefile
24 lines (20 loc) · 970 Bytes
/
Holmakefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
CAKEMLDIR=/root/cakeml
INCLUDES = $(HOLDIR)/examples/balanced_bst\
$(CAKEMLDIR)/misc $(CAKEMLDIR)/semantics $(CAKEMLDIR)/semantics/proofs\
$(CAKEMLDIR)/basis/pure $(CAKEMLDIR)/basis\
$(CAKEMLDIR)/translator $(CAKEMLDIR)/characteristic\
$(CAKEMLDIR)/compiler $(CAKEMLDIR)/compiler/backend/proofs\
$(CAKEMLDIR)/compiler/backend/x64/proofs\
$(CAKEMLDIR)/translator/monadic/\
$(CAKEMLDIR)/translator/monadic/monad_base/
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
exercises: $(SOLUTIONS) make_ex
./make_ex $(SOLUTIONS)
make_ex: make_ex.sml
$(POLYC) make_ex.sml -o make_ex