a) update with upstream version

[helm.git] / helm / software / matita / matitadep.ml

diff --git a/helm/software/matita/matitadep.ml b/helm/software/matita/matitadep.ml
index fc50a74fbea41cfbcefb7c11afeb0b75efcd9583..d50707f2932debc4f4766e1132a1a77f45939519 100644 (file)
--- a/helm/software/matita/matitadep.ml
+++ b/helm/software/matita/matitadep.ml
@@ -25,12 +25,15 @@
 
 (* $Id$ *)
 
-open Printf
-
 module GA = GrafiteAst 
 module U = UriManager
 module HR = Helm_registry
 
+let print_times msg = 
+   let times = Unix.times () in
+   let stamp = times.Unix.tms_utime +. times.Unix.tms_utime in
+   Printf.printf "TIME STAMP: %s: %f\n" msg stamp; flush stdout; stamp
+
 let fix_name f =
    let f = 
       if Pcre.pmatch ~pat:"^\\./" f then String.sub f 2 (String.length f - 2)
@@ -43,6 +46,7 @@ let exclude excluded_files files =
    List.filter map files
 
 let main () =
+(*  let _ = print_times "inizio" in *)
   let include_paths = ref [] in
   let excluded_files = ref [] in
   let use_stdout = ref false in
@@ -122,7 +126,9 @@ let main () =
               Hashtbl.add include_deps     ma_file ma_file
               Hashtbl.add include_deps_dot ma_file baseuri
   *)
+(*  let _ = print_times "prima di iter1" in *)
   List.iter (fun ma_file -> ignore (baseuri_of_script ma_file)) ma_files;
+(*  let _ = print_times "in mezzo alle due iter" in *)
   List.iter
    (fun ma_file -> 
       let ma_baseuri = baseuri_of_script ma_file in
@@ -145,6 +151,7 @@ let main () =
        dependencies)
    ma_files;
   (* generate regular depend output *)
+(*  let _ = print_times "dopo di iter2" in *)
   let deps =
     List.fold_left
      (fun acc ma_file -> 
@@ -188,5 +195,6 @@ let main () =
       ignore(Sys.command ("tred "^ !dot_file^"| dot -Tpng -o"^dot_name^".png"));
       HLog.message ("Type 'eog "^dot_name^".png' to view the graph"); 
     end;
-;;
+(*    let _ = print_times "fine" in () *)
+