1OPTIONS = NO_OVERLAY 2EXTRA_CLEANS = comparelogs generateBuildSummary genUseScript 3MLTON_SRCS = mlton-srcs/Binarymap.sml mlton-srcs/Listsort.sml comparelogs.mlb 4 5.PHONY: all 6all: comparelogs generateBuildSummary 7 8ifdef POLY 9 10all: genUseScript 11 12comparelogs: poly-comparelogs.ML comparelogs.sml 13 $(POLYC) $< -o $@ 14 15genUseScript: genUseScript.sml $(dprot $(HOLDIR)/tools/Holmake/GetOpt.sml) 16 $(POLYC) $< -o $@ 17 18else 19 20comparelogs: comparelogs.uo 21 $(MOSMLC) -o $@ $< 22 23endif 24 25poly_gbsdep = poly-gbs.ML generateBuildSummary.sml 26mosml_gbsdep = mosmlgbs.uo generateBuildSummary.uo 27 28poly_gbscomm = $(POLYC) -o $@ $< 29mosml_gbscomm = $(MOSMLC) -o $@ $< 30 31 32generateBuildSummary: $($(ML_SYSNAME)_gbsdep) 33 $($(ML_SYSNAME)_gbscomm) 34 35generateBuildSummary.o: poly-gbs.ML generateBuildSummary.sml 36 $(POLY) < $< 37