Make does not even try to build files that would be compiled in read-only

[helm.git] / helm / software / components / library / librarian.mli

diff --git a/helm/software/components/library/librarian.mli b/helm/software/components/library/librarian.mli
index 0db8a83ef9a7719ebde8b348d6218352d254db04..63c900036f89d92f4dd98fd0a4cdcc5195ced80e 100644 (file)
--- a/helm/software/components/library/librarian.mli
+++ b/helm/software/components/library/librarian.mli
@@ -2,7 +2,6 @@ exception NoRootFor of string
 
 val absolutize: string -> string 
 
-val find_root: string -> string
 val load_root_file: string -> (string*string) list
 
 (* baseuri_of_script ?(inc:REG[matita.includes]) fname 
@@ -13,6 +12,8 @@ val load_root_file: string -> (string*string) list
 val baseuri_of_script: 
   include_paths:string list -> string -> string * string * string * string
 
+val mk_baseuri: string -> string -> string
+
 (* finds all the roots files in the specified dir *)
 val find_roots_in_dir: string -> string list
 
@@ -31,6 +32,7 @@ module type Format =
           options -> source_object -> string option * target_object
     val mtime_of_source_object: source_object -> float option
     val mtime_of_target_object: target_object -> float option
+    val is_readonly_buri_of: options -> source_object -> bool
   end
 
 module Make :