From db8ced4927eff89f9cd483f5de86075d76723262 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 6 Sep 2006 16:17:43 +0000
Subject: [PATCH] matitadep used to raise Not_found on empty files and in some
 other occasions. Fixed.

---
 matita/matitadep.ml | 37 +++++++++++++++++++++++--------------
 1 file changed, 23 insertions(+), 14 deletions(-)

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index 20dc415fd..c99690853 100644
--- a/matita/matitadep.ml
+++ b/matita/matitadep.ml
@@ -97,11 +97,15 @@ let main () =
    ma_files;
   Hashtbl.iter 
     (fun file alias -> 
-      let dep = resolve alias (Hashtbl.find baseuri_of file) in
-      match dep with 
-      | None -> ()
-      | Some u -> 
-         Hashtbl.add include_deps file (obj_file_of_baseuri false u))
+      try 
+        let dep = resolve alias (Hashtbl.find baseuri_of file) in
+        match dep with 
+        | None -> ()
+        | Some u -> 
+           Hashtbl.add include_deps file (obj_file_of_baseuri false u)
+      with Not_found -> 
+        prerr_endline ("File "^ file^" has no baseuri. Use set baseuri");
+        exit 1)
   uri_deps;
   if !do_dot then
     begin
@@ -129,15 +133,20 @@ let main () =
     begin
       List.iter
        (fun ma_file -> 
-        let deps = Hashtbl.find_all include_deps ma_file in
-        let deps = List.fast_sort Pervasives.compare deps in
-        let deps = HExtlib.list_uniq deps in
-        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" moo (String.concat " " deps)
-          (Filename.basename (Pcre.replace ~pat:"ma$" ~templ:"mo" ma_file)) moo
-          (Pcre.replace ~pat:"ma$" ~templ:"mo" ma_file) moo)
+         try
+          let deps = Hashtbl.find_all include_deps ma_file in
+          let deps = List.fast_sort Pervasives.compare deps in
+          let deps = HExtlib.list_uniq deps in
+          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" 
+            moo (String.concat " " deps)
+            (Filename.basename(Pcre.replace ~pat:"ma$" ~templ:"mo" ma_file)) moo
+            (Pcre.replace ~pat:"ma$" ~templ:"mo" ma_file) moo
+         with Not_found -> 
+           prerr_endline ("File "^ma_file^" has no baseuri. Use set baseuri");
+           exit 1)
         ma_files
     end
 ;;
-- 
2.39.2