]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/binaries/transcript/top.ml
matitadep: we now handle the inline of an uri, we removed the -exclude option
[helm.git] / helm / software / components / binaries / transcript / top.ml
index 387d47f12cdde686d546d1095b554a85ebefcbb0..5ef75dab70f4be01abf2d47740260e830ef2c448 100644 (file)
  *)
 
 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