Mercurial > urweb
diff src/main.mlton.sml @ 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 | 5890ba37827c |
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)