Mercurial > urweb

comparison src/main.mlton.sml @ 1923:afdc823563de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Small reformatting and documentation for '-print-cinclude'
author Adam Chlipala <adam@chlipala.net>
date Fri, 06 Dec 2013 08:54:03 -0500
parents 5890ba37827c
children 0652f295e0fa
comparison
equal deleted inserted replaced
1922:5890ba37827c 1923:afdc823563de
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"); 61 fun printCInclude () = (print (Config.includ ^ "\n");
62 raise Code OS.Process.success) 62 raise Code OS.Process.success)
63 63
64 fun doArgs args = 64 fun doArgs args =
65 case args of 65 case args of
66 [] => () 66 [] => ()
67 | "-version" :: rest => 67 | "-version" :: rest =>