[MLton-commit] r6903

[Wesley Terpstra]

When MLton runs static-library under MinGW, the windows shell doesn't know
how to run a bash script. This batch file intercepts the invocation and uses
bash to run the real script.


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

U   mlton/trunk/Makefile
A   mlton/trunk/bin/static-library.bat

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

Modified: mlton/trunk/Makefile
===================================================================
--- mlton/trunk/Makefile	2008-10-03 15:18:43 UTC (rev 6902)
+++ mlton/trunk/Makefile	2008-10-03 23:23:00 UTC (rev 6903)
@@ -306,6 +306,9 @@
 	chmod a+x "$(MLTON)"
 	$(CP) "$(SRC)/bin/platform" "$(LIB)"
 	$(CP) "$(SRC)/bin/static-library" "$(LIB)"
+ifeq (mingw, $(TARGET_OS))
+	$(CP) "$(SRC)/bin/static-library.bat" "$(LIB)"
+endif
 
 .PHONY: targetmap
 targetmap:

Added: mlton/trunk/bin/static-library.bat
===================================================================
--- mlton/trunk/bin/static-library.bat	2008-10-03 15:18:43 UTC (rev 6902)
+++ mlton/trunk/bin/static-library.bat	2008-10-03 23:23:00 UTC (rev 6903)
@@ -0,0 +1 @@
+ at bash %~dp0static-library %*