timl/Makefile at master · mit-plv/timl · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
.PHONY: Main.main

default: smlnj

all: smlnj mlton

mlton: main

FILES = $(shell ruby generate-file-list.rb Makefile)

main: main.mlb $(FILES)
	mlyacc parser/timl.grm
	mllex parser/timl.lex
	mlyacc sexp/sexp.grm
	mllex sexp/sexp.lex
	mlton $(MLTON_FLAGS) -default-ann 'nonexhaustiveMatch error' -default-ann 'redundantMatch error' main.mlb

main.mlb: generate-file-list.rb
	ruby generate-file-list.rb mlton > main.mlb

profile:
	mlprof -show-line true -raw true main mlmon.out

smlnj: main.cm
	./format.rb ml-build -Ccontrol.poly-eq-warn=false -Ccompiler-mc.error-non-exhaustive-match=true -Ccompiler-mc.error-non-exhaustive-bind=true main.cm Main.main main-image

main.cm: generate-file-list.rb
	ruby generate-file-list.rb smlnj > main.cm

clean:
	rm -f main
	rm -f main-image*
	rm -f main.cm
	rm -f main.mlb

print-%  : ; @echo $* = $($*)