changeset 1872:6507e973af84

Add -print-ccompiler command line option
author Sergey Mironov <grrwlf@gmail.com>
date Wed, 18 Sep 2013 15:45:18 +0400
parents c3119c263bd3
children 90e81a8bd9da
files src/main.mlton.sml
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/main.mlton.sml	Tue Aug 20 17:13:50 2013 +0400
+++ b/src/main.mlton.sml	Wed Sep 18 15:45:18 2013 +0400
@@ -56,6 +56,8 @@
 		               raise Code OS.Process.success)
         fun printNumericVersion () = (print (Config.versionNumber ^ "\n");
 			              raise Code OS.Process.success)
+        fun printCCompiler () = (print ((Settings.getCCompiler ()) ^ "\n");
+			              raise Code OS.Process.success)
 
         fun doArgs args =
             case args of
@@ -67,6 +69,8 @@
               | "-css" :: rest =>
                 (css := true;
                  doArgs rest)
+              | "-print-ccompiler" :: rest =>
+                  printCCompiler ()
               | "-ccompiler" :: ccomp :: rest =>
                 (Settings.setCCompiler ccomp;
                  doArgs rest)