transcript: improved debuugging facilities

[helm.git] / helm / software / components / binaries / transcript / top.ml

diff --git a/helm/software/components/binaries/transcript/top.ml b/helm/software/components/binaries/transcript/top.ml
index 387d47f12cdde686d546d1095b554a85ebefcbb0..5b3b234730fff1c8d61a06764aa22125ed10ffbb 100644 (file)
--- a/helm/software/components/binaries/transcript/top.ml
+++ b/helm/software/components/binaries/transcript/top.ml
@@ -24,8 +24,18 @@
  *)
 
 let main =
-   let help = "Usage: transcript [ <package> | <conf_file> ]*" in
-   let process_package package = Engine.produce (Engine.make package) in
+   let cwd = ref Filename.current_dir_name in
+   let help = "Usage: transcript [ -C <dir> ] [ <package> | <conf_file> ]*" in
+   let help_C = " set working directory to <dir>" in
+   let help_vp = " verbose parsing" in
+   let help_vl = " verbose lexing" in
+   let help_vx = " verbose character escaping" in
+   let set_cwd dir = cwd := dir in
+   let process_package package = Engine.produce (Engine.make !cwd package) in
    Engine.init ();
    Arg.parse [
+      ("-C", Arg.String set_cwd, help_C);
+      ("-vp", Arg.Set Options.verbose_parser, help_vp);
+      ("-vl", Arg.Set Options.verbose_lexer, help_vl);
+      ("-vx", Arg.Set Options.verbose_escape, help_vx);
    ] process_package help