Mercurial > urweb

comparison src/main.mlton.sml @ 1922:5890ba37827c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add -print-cinlude command line option
author Sergey Mironov <grrwlf@gmail.com>
date Wed, 06 Nov 2013 13:54:07 +0400
parents 6507e973af84
children afdc823563de
comparison
equal deleted inserted replaced
1921:312b62cdaa48 1922:5890ba37827c
56 raise Code OS.Process.success) 56 raise Code OS.Process.success)
57 fun printNumericVersion () = (print (Config.versionNumber ^ "\n"); 57 fun printNumericVersion () = (print (Config.versionNumber ^ "\n");
58 raise Code OS.Process.success) 58 raise Code OS.Process.success)
59 fun printCCompiler () = (print ((Settings.getCCompiler ()) ^ "\n"); 59 fun printCCompiler () = (print ((Settings.getCCompiler ()) ^ "\n");
60 raise Code OS.Process.success) 60 raise Code OS.Process.success)
61 fun printCInclude () = (print ((Config.includ) ^ "\n");
62 raise Code OS.Process.success)
61 63
62 fun doArgs args = 64 fun doArgs args =
63 case args of 65 case args of
64 [] => () 66 [] => ()
65 | "-version" :: rest => 67 | "-version" :: rest =>
69 | "-css" :: rest => 71 | "-css" :: rest =>
70 (css := true; 72 (css := true;
71 doArgs rest) 73 doArgs rest)
72 | "-print-ccompiler" :: rest => 74 | "-print-ccompiler" :: rest =>
73 printCCompiler () 75 printCCompiler ()
76 | "-print-cinclude" :: rest =>
77 printCInclude ()
74 | "-ccompiler" :: ccomp :: rest => 78 | "-ccompiler" :: ccomp :: rest =>
75 (Settings.setCCompiler ccomp; 79 (Settings.setCCompiler ccomp;
76 doArgs rest) 80 doArgs rest)
77 | "-demo" :: prefix :: rest => 81 | "-demo" :: prefix :: rest =>
78 (demo := SOME (prefix, false); 82 (demo := SOME (prefix, false);