]> matita.cs.unibo.it Git - helm.git/commitdiff
we commented some of the debug pps rather than removing them :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 21 Sep 2008 12:32:38 +0000 (12:32 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 21 Sep 2008 12:32:38 +0000 (12:32 +0000)
helm/software/components/library/librarian.ml

index 8b8991bfc48f14fa8e03ed9430fd93c142f3f71b..6cedc0101a4aee756897d198b2d605128139fac9 100644 (file)
@@ -209,6 +209,10 @@ module Make = functor (F:Format) -> struct
   let fst4 = function (x,_,_,_) -> x;;
 
   let modified_before_s_t (_,cs, ct, _, _) a b = 
+(*    
+    time_stamp ("L s_t: a " ^ F.string_of_source_object a);
+    time_stamp ("L s_t: b " ^ F.string_of_target_object b);
+*)
     let a = try Hashtbl.find cs a with Not_found -> assert false in
     let b = 
       try
@@ -222,12 +226,20 @@ module Make = functor (F:Format) -> struct
            | x -> x
       with Not_found -> assert false
     in
-    match a, b with 
+    let r = match a, b with 
        | Some a, Some b -> a <= b
        | _ -> false
-  ;;
-
-  let modified_before_t_t (_,_,ct, _, _) a b = 
+    in
+(*    
+    time_stamp ("L s_t: " ^ string_of_bool r);
+*)    
+    r
+
+  let modified_before_t_t (_,_,ct, _, _) a b =
+(*    
+    time_stamp ("L t_t: a " ^ F.string_of_target_object a);
+    time_stamp ("L t_t: b " ^ F.string_of_target_object b);
+*) 
     let a = 
       try
         match Hashtbl.find ct a with
@@ -252,11 +264,19 @@ module Make = functor (F:Format) -> struct
            | x -> x
       with Not_found -> assert false
     in
-    match a, b with
-    | Some a, Some b ->
-       a <= b
-    | _ -> false
-  ;;
+    let r = match a, b with
+       | Some a, Some b ->
+(*       
+       time_stamp ("tt: a " ^ string_of_float a);
+       time_stamp ("tt: b " ^ string_of_float b);
+*)       
+          a <= b
+       | _ -> false
+    in
+(*    
+    time_stamp ("L t_t: " ^ string_of_bool r);
+*)    
+    r
 
   let rec purge_unwanted_roots wanted deps =
     let roots, rest = 
@@ -380,8 +400,10 @@ module Make = functor (F:Format) -> struct
        let r = make_one root opts okd whatd in 
        r, okt && modified_before_t_t opts tgtd tgt
     in
+    time_stamp ("L : processing " ^ str);
     try 
        let r = Hashtbl.find cc t in
+       time_stamp ("L : " ^ string_of_bool r ^ " " ^ str);
        ok && r
 (* say "already built" *)
     with Not_found ->
@@ -405,6 +427,7 @@ module Make = functor (F:Format) -> struct
                 HLog.error ("No root for: " ^ str); false
           else false
        in
+       time_stamp ("L : " ^ string_of_bool res ^ " " ^ str);
        Hashtbl.add cc t res; ok && res
 
 (****************************************************************************)