X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2Flibrarian.mli;h=0e15e28bcc78dc5b88bdff6bc208e22d4939d23e;hb=33fbecf99c187fb4fc84a68ee9f479da046e9df9;hp=c682579c2352845cb4886cf87d462a6d291a94e7;hpb=e3df61847e0690144c3658080e28904772e2075b;p=helm.git diff --git a/helm/software/components/library/librarian.mli b/helm/software/components/library/librarian.mli index c682579c2..0e15e28bc 100644 --- a/helm/software/components/library/librarian.mli +++ b/helm/software/components/library/librarian.mli @@ -70,7 +70,9 @@ module type Format = val string_of_target_object: target_object -> string val build: options -> source_object -> bool val root_and_target_of: - options -> source_object -> string option * target_object + options -> source_object -> + (* root, writeable target, read only target *) + string option * 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 @@ -90,5 +92,13 @@ module Make : * state that plus.ma needs nat and equality *) val load_deps_file: string -> (string * string list) list -val write_deps_file: string -> (string * string list) list -> unit +val write_deps_file: string option -> (string * string list) list -> unit +(* FG ***********************************************************************) + +(* true if the argunent starts with a uri scheme prefix *) +val is_uri: string -> bool + +val debug: bool ref + +val time_stamp: string -> unit