1OPTIONS = NO_OVERLAY
2EXTRA_CLEANS = unicode-grep
3
4.PHONY: all
5all: unicode-grep
6
7ifdef POLY
8
9unicode-grep: poly-ugrep.ML ugrep.sml
10	$(POLYC) $< -o $@
11
12else
13
14unicode-grep: ugrep_mosml.uo ugrep.uo
15	$(MOSMLC) -o $@ $<
16
17endif
18