+val (tc, fake, args) = foldl (fn (arg, (tc, fake, args)) =>
+ case arg of
+ "-tc" => (true, fake, args)
+ | "-fake" => (tc, true, args)
+ | _ => (tc, fake, arg :: args))
+ (false, false, []) (CommandLine.arguments ())
+
+val args = rev args
+
+val (doit, doitDir) =
+ if tc then
+ (fn fname =>
+ let
+ val _ : string = Main.setupUser ()
+ val () = if fake then
+ Domain.fakePrivileges ()
+ else
+ ()
+ val env = Main.basis ()
+ val env =
+ case libnameOpt () of
+ NONE => env
+ | SOME libname => #1 (Main.check env libname)
+ in
+ ignore (Main.check env fname)
+ end,
+ Main.checkDir)
+ else
+ (fn fname => Main.request (fname, libnameOpt ()),
+ Main.requestDir)
+