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