[MLton-commit] r6805

[Wesley Terpstra]

Set the ar-script option.
If a useless extract -O1 is added, take that as our signal to pause waiting for a keypress. There's no other way to sneak information to the batch file during compile via double-click in the windows explorer.
----------------------------------------------------------------------

U   mlton/trunk/package/mingw/mlton.bat

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

Modified: mlton/trunk/package/mingw/mlton.bat
===================================================================
--- mlton/trunk/package/mingw/mlton.bat	2008-08-25 14:57:42 UTC (rev 6804)
+++ mlton/trunk/package/mingw/mlton.bat	2008-08-25 17:24:44 UTC (rev 6805)
@@ -39,4 +39,11 @@
 set ccopts=%ccopts% -malign-functions=5 -malign-jumps=2 -malign-loops=2
 set linkopts=-lm -lgmp -lws2_32 -lkernel32 -lpsapi -lnetapi32
 
-"%mlton%" @MLton load-world "%world%" ram-slop 0.5 -- "%lib%" -cc "%cc%" -cc-opt-quote "-I%lib%\include" -cc-opt "%ccopts%" -mlb-path-map "%lib%\mlb-path-map" -link-opt "%linkopts%" %*
+"%mlton%" @MLton load-world "%world%" ram-slop 0.5 -- "%lib%" -cc "%cc%" -ar-script "%bin%\static-library.bat" -cc-opt-quote "-I%lib%\include" -cc-opt "%ccopts%" -mlb-path-map "%lib%\mlb-path-map" -link-opt "%linkopts%" %*
+
+rem If invoked with special useless option, pause output (done via explorer)
+if "%1" == "-cc-opt" (
+  if "%2" == "-O1" (
+    pause
+  )
+)