X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2Flibrarian.ml;h=db6b815746398f3c0305f5088f8c220316c12a03;hb=refs%2Fheads%2Fno-baseuri;hp=cc3c96999453a8e88d1b42560c550acc347f3a0e;hpb=711e170c2deaa92289d9d4eb7c0e8aedbe62b5cb;p=helm.git

diff --git a/components/library/librarian.ml b/components/library/librarian.ml
index cc3c96999..db6b81574 100644
--- a/components/library/librarian.ml
+++ b/components/library/librarian.ml
@@ -1,3 +1,5 @@
+let debug = false;;
+
 exception NoRootFor of string
 
 let absolutize path =
@@ -91,7 +93,8 @@ let baseuri_of_script ~include_paths file =
   in
   let extra_buri = substract lpath lroot in
   let chop name = 
-    assert(Filename.check_suffix name ".ma");
+    assert(Filename.check_suffix name ".ma" ||
+      Filename.check_suffix name ".mma");
     try Filename.chop_extension name
     with Invalid_argument "Filename.chop_extension" -> name
   in
@@ -147,7 +150,7 @@ module type Format =
 
 module Make = functor (F:Format) -> struct
 
-  let prerr_endline _ = ();; 
+  let prerr_endline s = if debug then prerr_endline ("make: "^s);; 
 
   let younger_s_t a b = 
     match F.mtime_of_source_object a, F.mtime_of_target_object b with