Mercurial > urweb

comparison src/main.mlton.sml @ 1872:6507e973af84

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
1871:c3119c263bd3 1872:6507e973af84
54 54
55 fun printVersion () = (print (Config.versionString ^ "\n"); 55 fun printVersion () = (print (Config.versionString ^ "\n");
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");
60 raise Code OS.Process.success)
59 61
60 fun doArgs args = 62 fun doArgs args =
61 case args of 63 case args of
62 [] => () 64 [] => ()
63 | "-version" :: rest => 65 | "-version" :: rest =>
65 | "-numeric-version" :: rest => 67 | "-numeric-version" :: rest =>
66 printNumericVersion () 68 printNumericVersion ()
67 | "-css" :: rest => 69 | "-css" :: rest =>
68 (css := true; 70 (css := true;
69 doArgs rest) 71 doArgs rest)
72 | "-print-ccompiler" :: rest =>
73 printCCompiler ()
70 | "-ccompiler" :: ccomp :: rest => 74 | "-ccompiler" :: ccomp :: rest =>
71 (Settings.setCCompiler ccomp; 75 (Settings.setCCompiler ccomp;
72 doArgs rest) 76 doArgs rest)
73 | "-demo" :: prefix :: rest => 77 | "-demo" :: prefix :: rest =>
74 (demo := SOME (prefix, false); 78 (demo := SOME (prefix, false);