# HG changeset patch
# User Sergey Mironov <grrwlf@gmail.com>
# Date 1383731647 -14400
# Node ID 5890ba37827c59598f9569ab37767eb64c4cc8a2
# Parent  312b62cdaa48c6b3c20cb702af20a884f90cf47e
Add -print-cinlude command line option

diff -r 312b62cdaa48 -r 5890ba37827c src/main.mlton.sml
--- a/src/main.mlton.sml	Fri Dec 06 08:44:26 2013 -0500
+++ b/src/main.mlton.sml	Wed Nov 06 13:54:07 2013 +0400
@@ -58,6 +58,8 @@
 			              raise Code OS.Process.success)
         fun printCCompiler () = (print ((Settings.getCCompiler ()) ^ "\n");
 			              raise Code OS.Process.success)
+        fun printCInclude () = (print ((Config.includ) ^ "\n");
+			              raise Code OS.Process.success)
 
         fun doArgs args =
             case args of
@@ -71,6 +73,8 @@
                  doArgs rest)
               | "-print-ccompiler" :: rest =>
                   printCCompiler ()
+              | "-print-cinclude" :: rest =>
+                  printCInclude ()
               | "-ccompiler" :: ccomp :: rest =>
                 (Settings.setCCompiler ccomp;
                  doArgs rest)