[MLton-commit] r4197

[Stephen Weeks]

Andrew Kennedy's bat file.

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

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

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

Modified: mlton/trunk/package/mingw/mlton.bat
===================================================================
--- mlton/trunk/package/mingw/mlton.bat	2005-11-11 04:10:53 UTC (rev 4196)
+++ mlton/trunk/package/mingw/mlton.bat	2005-11-11 20:28:50 UTC (rev 4197)
@@ -1,13 +1,46 @@
-@echo off
-set lib=c:\MLton\lib
-set cc=c:\MinGW\bin\gcc.exe
-
-set world=%lib%\world.mlton
-set mlton=%lib%\mlton-compile.exe
-
-set ccopts=-I%lib%\include -O1 -fno-strict-aliasing -fomit-frame-pointer -w
-set ccopts=%ccopts% -fno-strength-reduce -fschedule-insns -fschedule-insns2
-set ccopts=%ccopts% -malign-functions=5 -malign-jumps=2 -malign-loops=2 -mtune=pentium4
-set linkopts=-L%lib%\lib -lgdtoa -lgmp -lws2_32 -lkernel32 -lpsapi -lnetapi32
-
-%mlton% @MLton load-world %world% -- %lib% -cc %cc% -cc-opt "%ccopts%" -link-opt "%linkopts%" %1 %2 %3 %4 %5 %6 %7 %8 %9
+@echo off
+if "%CMDEXTVERSION%"=="" goto :downlevel
+
+rem %0 contains the name of this batch file, before the path was searched
+rem But we can use the %~dp0 call-parameter syntax to find out what drive and directory it lives on
+setlocal
+call :setdir %~dp0 "%*"
+
+if not exist %dir% (
+  echo MLton directory %dir% does not exist
+  goto :end
+) 
+
+set lib=%dir%\lib\MLton
+if not exist %lib% (
+  echo MLton library directory %lib% does not exist
+  goto :end
+)
+
+set cc=%dir%\bin\gcc.exe
+if not exist %cc% (
+  echo GCC compiler %cc% does not exist
+  goto :end
+)
+
+set world=%lib%\world.mlton
+set mlton=%lib%\mlton-compile.exe
+
+set ccopts=-I%lib%\include -O1 -fno-strict-aliasing -fomit-frame-pointer -w
+set ccopts=%ccopts% -fno-strength-reduce -fschedule-insns -fschedule-insns2
+set ccopts=%ccopts% -malign-functions=5 -malign-jumps=2 -malign-loops=2
+set linkopts=-lgdtoa -lm
+set linkopts=%linkopts% -lgmp -lws2_32 -lkernel32 -lpsapi -lnetapi32
+
+%mlton% @MLton load-world %world% ram-slop 0.5 -- %lib% -cc %cc% -cc-opt "%ccopts%" -mlb-path-map %lib%\mlb-path-map -link-opt "%linkopts%" %*
+goto :eof
+
+:setdir
+set dir=%1%..\
+GOTO :eof
+
+:downlevel
+echo Batch file execution of MLton not supported without command extensions
+goto :end
+
+:end