summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Sergey Mironov <grrwlf@gmail.com>2013-09-18 15:45:18 +0400
committerGravatar Sergey Mironov <grrwlf@gmail.com>2013-09-18 15:45:18 +0400
commit774af1179ef64496a266af9f6f018d5ed234488f (patch)
treedf41ece35df2626f6ace9e327a38e452994d8104
parent02deb1923a33e697938c7e7f8da2228259f6b620 (diff)
Add -print-ccompiler command line option
-rw-r--r--src/main.mlton.sml4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index 91bbdc0c..d176efcc 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -56,6 +56,8 @@ fun oneRun args =
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 @@ fun oneRun args =
| "-css" :: rest =>
(css := true;
doArgs rest)
+ | "-print-ccompiler" :: rest =>
+ printCCompiler ()
| "-ccompiler" :: ccomp :: rest =>
(Settings.setCCompiler ccomp;
doArgs rest)