Mercurial > urweb

comparison src/main.mlton.sml @ 1928:f1c211936557

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author Adam Chlipala <adam@chlipala.net>
date Mon, 09 Dec 2013 17:25:53 -0500
parents afdc823563de
children 0652f295e0fa
comparison
equal deleted inserted replaced
1927:b6aee1d5b9b1 1928:f1c211936557
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"); 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);