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