OPTIONS = NO_OVERLAY
EXTRA_CLEANS = comparelogs generateBuildSummary genUseScript
MLTON_SRCS = mlton-srcs/Binarymap.sml mlton-srcs/Listsort.sml comparelogs.mlb

.PHONY: all
all: comparelogs generateBuildSummary

ifdef POLY

all: genUseScript

comparelogs: poly-comparelogs.ML comparelogs.sml
	$(POLYC) $< -o $@

genUseScript: genUseScript.sml $(dprot $(HOLDIR)/tools/Holmake/GetOpt.sml)
	$(POLYC) $< -o $@

else

comparelogs: comparelogs.uo
	$(MOSMLC) -o $@ $<

endif

poly_gbsdep = poly-gbs.ML generateBuildSummary.sml
mosml_gbsdep = mosmlgbs.uo generateBuildSummary.uo

poly_gbscomm = $(POLYC) -o $@ $<
mosml_gbscomm = $(MOSMLC) -o $@ $<


generateBuildSummary: $($(ML_SYSNAME)_gbsdep)
	$($(ML_SYSNAME)_gbscomm)

generateBuildSummary.o: poly-gbs.ML generateBuildSummary.sml
	$(POLY) < $<