Mercurial > urweb
diff src/main.mlton.sml @ 891:8f2159040bbb
More command-line options
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 18 Jul 2009 11:01:48 -0400 |
| parents | 03e7f111fe99 |
| children | 36efaf119b85 |
line wrap: on
line diff
--- a/src/main.mlton.sml Sat Jul 18 10:27:32 2009 -0400 +++ b/src/main.mlton.sml Sat Jul 18 11:01:48 2009 -0400 @@ -41,6 +41,9 @@ | "-protocol" :: name :: rest => (Settings.setProtocol name; doArgs rest) + | "-db" :: s :: rest => + (Settings.setDbstring (SOME s); + doArgs rest) | "-dbms" :: name :: rest => (Settings.setDbms name; doArgs rest) @@ -50,6 +53,12 @@ | "-timing" :: rest => (timing := true; doArgs rest) + | "-output" :: s :: rest => + (Settings.setExe (SOME s); + doArgs rest) + | "-sql" :: s :: rest => + (Settings.setSql (SOME s); + doArgs rest) | arg :: rest => (if size arg > 0 andalso String.sub (arg, 0) = #"-" then raise Fail ("Unknown flag " ^ arg)