X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Ftoplevel%2Ftop.ml;h=dc2bfee9334bc4966ed8f2661e22dbcbb05af290;hb=625846fd7d1b0063b3b3a81ff9bbf36ddccf84f1;hp=c6ad99df972646b9137ba67c3d5bde713f349fc6;hpb=b00b8de85c5ae6c5fbb6f47dc559bf4cfcf2a5b6;p=helm.git

diff --git a/helm/software/lambda-delta/toplevel/top.ml b/helm/software/lambda-delta/toplevel/top.ml
index c6ad99df9..dc2bfee93 100644
--- a/helm/software/lambda-delta/toplevel/top.ml
+++ b/helm/software/lambda-delta/toplevel/top.ml
@@ -30,8 +30,10 @@ module MO = MetaOutput
 let main =
    let version_string = "Helena Checker 0.8.0 M (June 2008)" in
    let summary = ref 0 in
+   let stage = ref 1 in
    let set_summary i = summary := i in
    let print_version () = print_endline version_string; exit 0 in
+   let set_stage i = stage := i in
    let read_file name =
       if !summary > 0 then
          Printf.printf "Processing file: %s\n" name; flush stdout;
@@ -42,15 +44,20 @@ let main =
       if !summary > 1 then
 	 AO.count (AO.print_counters Cps.id) AO.initial_counters book;
       let f env =
-         if !summary > 1 then
-	    MO.count (MO.print_counters Cps.id) MO.initial_counters env
+	 if !summary > 1 then
+	    MO.count (MO.print_counters Cps.id) MO.initial_counters env;
+         let frm = Format.err_formatter in
+         Format.pp_set_margin frm max_int;
+         MO.pp_environment Cps.id frm (List.rev env)
       in
-      MA.meta_of_aut f book
+      if !stage > 0 then MA.meta_of_aut f book
    in
-   let help = "Usage: helena [ -V | -S <number> ] <file> ..." in
-   let help_S = "<number>  Set summary level" in   
+   let help = "Usage: helena [ -V | -Ss <number> ] <file> ..." in
+   let help_S = "<number>  Set summary level" in
    let help_V = " Show version information" in   
+   let help_s = "<number>  Set translation stage" in
    Arg.parse [
       ("-S", Arg.Int set_summary, help_S);
-      ("-V", Arg.Unit print_version, help_V)
+      ("-V", Arg.Unit print_version, help_V);
+      ("-s", Arg.Int set_stage, help_s);
    ] read_file help