[MLton-commit] r7426

[Matthew Fluet]

CM.Graph.graph fails when built with ml-build.
----------------------------------------------------------------------

U   mlton/trunk/util/cm2mlb/Makefile

----------------------------------------------------------------------

Modified: mlton/trunk/util/cm2mlb/Makefile
===================================================================
--- mlton/trunk/util/cm2mlb/Makefile	2010-02-18 16:47:25 UTC (rev 7425)
+++ mlton/trunk/util/cm2mlb/Makefile	2010-02-18 18:08:43 UTC (rev 7426)
@@ -24,8 +24,13 @@
 
 $(CM2MLB_HEAP): cm2mlb.cm cm2mlb.sml gen-mlb.sml cm2mlb-map
 	rm -f $(CM2MLB_HEAP)
-	$(ML_BUILD) $(ML_BUILD_FLAGS) $(CM2MLB_CM) CM2MLB.main $(CM2MLB_HEAP)
-	touch $(CM2MLB_HEAP)
+	# $(ML_BUILD) $(ML_BUILD_FLAGS) $(CM2MLB_CM) CM2MLB.main $(CM2MLB_HEAP)
+	(									\
+		echo 'if (CM.make "cm2mlb.cm") handle _ => false';		\
+		echo '   then ()';						\
+		echo '   else OS.Process.exit OS.Process.failure;'; 		\
+		echo 'CM2MLB.export();'						\
+	) | sml
 
 .PHONY: clean
 clean: