X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Ftranscript%2Ftop.ml;h=5ef75dab70f4be01abf2d47740260e830ef2c448;hb=32e77480c65cbf23ae7dea38a519c83dfeaf3830;hp=387d47f12cdde686d546d1095b554a85ebefcbb0;hpb=c5e25191f05bb2662fc738bfb2742eb03b941510;p=helm.git

diff --git a/helm/software/components/binaries/transcript/top.ml b/helm/software/components/binaries/transcript/top.ml
index 387d47f12..5ef75dab7 100644
--- a/helm/software/components/binaries/transcript/top.ml
+++ b/helm/software/components/binaries/transcript/top.ml
@@ -24,8 +24,12 @@
  *)
 
 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 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)
    ] process_package help