- added some options to matitadep: -stdout and -exclude

[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 c682579c2352845cb4886cf87d462a6d291a94e7..25ab0853e9184e615a7a3b4f73c0f00b58ab6051 100644 (file)
--- a/helm/software/components/library/librarian.mli
+++ b/helm/software/components/library/librarian.mli
@@ -74,6 +74,7 @@ module type Format =
     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
+    val dotdothack: source_object -> source_object 
   end
 
 module Make :
@@ -90,5 +91,9 @@ 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