X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2Flibrarian.mli;h=9d042a10618111bee04f9156fe344a86ccb1bb39;hb=bd258ecf3eae6aef4ff6b1d1dd8e1c8c2bb17677;hp=a6b3c6849a4245a9c18308a5c9bec0d1e9ce44dc;hpb=fa0347cc0a604ba8743da9479117e1f13ab60482;p=helm.git

diff --git a/components/library/librarian.mli b/components/library/librarian.mli
index a6b3c6849..9d042a106 100644
--- a/components/library/librarian.mli
+++ b/components/library/librarian.mli
@@ -1,12 +1,44 @@
 exception NoRootFor of string
 
-val find_root : string -> string
+val absolutize: string -> string 
 
-(* baseuri_of_script ?(inc:REG[matita.includes]) fname -> root, buri, fullpath 
+val find_root: string -> string
+val load_root_file: string -> (string*string) list
+
+(* baseuri_of_script ?(inc:REG[matita.includes]) fname 
+ *   -> 
+ * root, buri, fullpath, rootrelativepath
  * sample: baseuri_of_script a.ma -> /home/pippo/devel/, cic:/matita/a,
- * /home/pippo/devel/a.ma *)
+ * /home/pippo/devel/a.ma, a.ma *)
 val baseuri_of_script: 
-  ?include_paths:string list -> string -> string * string * string
+  include_paths:string list -> string -> string * string * string * string
 
 (* finds all the roots files in the specified dir *)
 val find_roots_in_dir: string -> string list
+
+(* make *)
+type options = (string * string) list
+
+module type Format =
+  sig
+    type source_object
+    type target_object
+    val load_deps_file: string -> (source_object * source_object list) list
+    val target_of: options -> source_object -> target_object
+    val string_of_source_object: source_object -> string
+    val string_of_target_object: target_object -> string
+    val build: options -> source_object -> bool
+    val root_of: options -> source_object -> string option
+    val mtime_of_source_object: source_object -> float option
+    val mtime_of_target_object: target_object -> float option
+  end
+
+module Make :
+  functor (F : Format) ->
+    sig
+      (* make [root dir] [targets], targets = [] means make all *)
+      val make : string -> F.source_object list ->  bool
+    end
+
+val load_deps_file: string -> (string * string list) list
+val write_deps_file: string -> (string * string list) list -> unit