- librarian: 3 bugs fixed in the building system:

[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 0e15e28bcc78dc5b88bdff6bc208e22d4939d23e..4eed9051d459784866b28138523e29ff61bb8c25 100644 (file)
--- a/helm/software/components/library/librarian.mli
+++ b/helm/software/components/library/librarian.mli
@@ -71,8 +71,8 @@ module type Format =
     val build: options -> source_object -> bool
     val root_and_target_of: 
           options -> source_object -> 
-          (* root, writeable target, read only target *)
-          string option * target_object * target_object
+          (* root, relative source, writeable target, read only target *)
+          string option * source_object * target_object * 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
@@ -99,6 +99,7 @@ val write_deps_file: string option -> (string * string list) list -> unit
 (* true if the argunent starts with a uri scheme prefix *)
 val is_uri: string -> bool
 
-val debug: bool ref
+(* Valid values: 0: no debug; 1: normal debug; > 1: extra debug *)
+val debug: int ref
 
 val time_stamp: string -> unit