Permalink
Browse files

Get Moscow ML building of developers/generateBuildSummary to work.

  • Loading branch information...
1 parent ea03d6e commit 373feeb48fb8d1ab68736459ab22a14170b9faf6 @mn200 mn200 committed Dec 12, 2012
Showing with 6 additions and 3 deletions.
  1. +3 −3 developers/Holmakefile
  2. +3 −0 developers/mosmlgbs.sml
View
@@ -1,3 +1,4 @@
+OPTIONS = NO_OVERLAY
EXTRA_CLEANS = mosml-comparelogs comparelogs generateBuildSummary $($(ML_SYSNAME)_gbsdep)
MLTON_SRCS = mlton-srcs/Binarymap.sml mlton-srcs/Listsort.sml comparelogs.mlb
@@ -11,15 +12,14 @@ comparelogs: comparelogs.sml $(MLTON_SRCS)
mlton comparelogs.mlb
poly_gbsdep = generateBuildSummary.o
-mosml_gbsdep = mosmlgbs.uo generateBuildSummary.uo
+mosml_gbsdep = mosmlgbs.uo generateBuildSummary.uo
poly_gbscomm = gcc -o $@ $< $(POLY_LDFLAGS)
-mosml_gbscomm = $(HOLMOSMLC) -o $@ $<
+mosml_gbscomm = $(MOSMLC) -o $@ $<
generateBuildSummary: $($(ML_SYSNAME)_gbsdep)
$($(ML_SYSNAME)_gbscomm)
generateBuildSummary.o: poly-gbs.ML generateBuildSummary.sml
$(POLY) < $<
-
View
@@ -0,0 +1,3 @@
+open generateBuildSummary
+
+val _ = main()

0 comments on commit 373feeb

Please sign in to comment.