[MLton-commit] r7107

[Matthew Fluet]

Build mlton-stubs.mlb.
----------------------------------------------------------------------

U   mlton/trunk/mlton/Makefile

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

Modified: mlton/trunk/mlton/Makefile
===================================================================
--- mlton/trunk/mlton/Makefile	2009-06-11 03:22:45 UTC (rev 7106)
+++ mlton/trunk/mlton/Makefile	2009-06-11 03:22:47 UTC (rev 7107)
@@ -84,6 +84,25 @@
 		sed "s/\(.*\)MLTONBUILDNODE\(.*\)/\1`uname -n`\2/" >		\
 		control/version.sml
 
+mlton-stubs.mlb: $(shell mlton -stop f ../lib/stubs/mlton-stubs/sources.mlb) $(shell mlton -stop f mlton.mlb)
+	(									\
+		echo '$$(SML_LIB)/basis/unsafe.mlb';				\
+		echo '$$(SML_LIB)/basis/sml-nj.mlb';				\
+		echo '$$(SML_LIB)/basis/mlton.mlb';				\
+		echo '$$(SML_LIB)/basis/basis.mlb';				\
+		echo '$(UP)';							\
+		mlton -stop f mlton.mlb | grep -v 'mlb$$' | grep 'mlyacc';	\
+		mlton -stop f ../lib/stubs/mlton-stubs/sources.mlb |		\
+			grep -v 'mlb$$' | 					\
+			grep 'mlton-stubs';					\
+		mlton -stop f mlton.mlb |					\
+			grep -v 'mlb$$' |					\
+			grep -v 'sml/basis' | 					\
+			grep -v 'mlton-stubs' |					\
+			grep -v 'mlyacc';					\
+	) > mlton-stubs.mlb
+
+
 $(AOUT): $(SOURCES)
 	rm -f $(UP)
 	$(MAKE) $(UP)