X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatitadep.ml;h=7f75a057bd21a751501604a5a5de934c22300a62;hb=5cda0ce4c05ede99ad05312d5c9da047978a6898;hp=65743db582852752bb102f9e90c79a07ed6d4be4;hpb=ba7371c1e56b52e1114dfb7e9407229f373889b9;p=helm.git

diff --git a/helm/software/matita/matitadep.ml b/helm/software/matita/matitadep.ml
index 65743db58..7f75a057b 100644
--- a/helm/software/matita/matitadep.ml
+++ b/helm/software/matita/matitadep.ml
@@ -107,6 +107,29 @@ let main () =
         prerr_endline ("File "^ file^" has no baseuri. Use set baseuri");
         exit 1)
   uri_deps;
+      let gcp x y = 
+      (* explode and implode from the OCaml Expert FAQ. *)
+        let explode s =
+          let rec exp i l =
+            if i < 0 then l else exp (i - 1) (s.[i] :: l) in
+          exp (String.length s - 1) []
+        in      
+        let implode l =
+          let res = String.create (List.length l) in
+          let rec imp i = function
+          | [] -> res
+          | c :: l -> res.[i] <- c; imp (i + 1) l in
+          imp 0 l
+        in
+        let rec aux = function
+          | x::tl1,y::tl2 when x = y -> x::(aux (tl1,tl2))
+          | _ -> [] 
+        in
+        implode (aux (explode x,explode y))
+      in
+      let max_path = List.hd ma_files in 
+      let max_path = List.fold_left gcp max_path ma_files in
+      let short x = Pcre.replace ~pat:("^"^max_path) x in
   if !dot_file <> "" then (* generate dependency graph if required *)
     begin
       let oc = open_out !dot_file in
@@ -124,8 +147,8 @@ let main () =
         in
         let deps = List.fast_sort Pervasives.compare deps in
         let deps = HExtlib.list_uniq deps in
-        GraphvizPp.Dot.node ma_file fmt;
-        List.iter (fun dep -> GraphvizPp.Dot.edge ma_file dep fmt) deps)
+        GraphvizPp.Dot.node (short ma_file) fmt;
+        List.iter (fun dep -> GraphvizPp.Dot.edge (short ma_file) (short dep) fmt) deps)
        ma_files;
       GraphvizPp.Dot.trailer fmt;
       close_out oc
@@ -139,10 +162,11 @@ let main () =
       let deps = ma_file :: deps in
       let baseuri = Hashtbl.find baseuri_of ma_file in
       let moo = obj_file_of_baseuri true baseuri in
-      Printf.printf "%s: %s\n%s: %s\n%s: %s\n" 
+      Printf.printf "%s: %s\n%s: %s\n%s: %s\n%s: %s\n" 
         moo (String.concat " " deps)
         (Filename.basename(Pcre.replace ~pat:"ma$" ~templ:"mo" ma_file)) moo
         (Pcre.replace ~pat:"ma$" ~templ:"mo" ma_file) moo
+        (Pcre.replace ~pat:"ma$" ~templ:"mo" (short ma_file)) moo
      with Not_found -> 
        prerr_endline ("File "^ma_file^" has no baseuri. Use set baseuri");
        exit 1)