X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flibrary%2FlibraryNoDb.ml;fp=helm%2Focaml%2Flibrary%2FlibraryNoDb.ml;h=0a03a4a7e4ed6f480a56ab42efcf6b5f0b634d59;hb=827e35d6058ebba3a4a4fa6eb3c160f0cd0fd1e8;hp=12a2e96da4cc557a41398576d720ce56bdc5e200;hpb=5b306342bf9befa57abd870527d6bd92b0a5ba50;p=helm.git

diff --git a/helm/ocaml/library/libraryNoDb.ml b/helm/ocaml/library/libraryNoDb.ml
index 12a2e96da..0a03a4a7e 100644
--- a/helm/ocaml/library/libraryNoDb.ml
+++ b/helm/ocaml/library/libraryNoDb.ml
@@ -33,7 +33,6 @@ let magic = 1
 
 type metadata =
   | Dependency of string  (* baseuri without trailing slash *)
-  | Baseuri of string 
 
 let eq_metadata (m1:metadata) (m2:metadata) = m1 = m2
 
@@ -48,13 +47,18 @@ let marshal_flags = []
  *)
 
 let save_metadata ~fname metadata =
-  let oc = open_out fname in
-  let marshalled = Marshal.to_string metadata marshal_flags in
-  let checksum = Hashtbl.hash marshalled in
-  output_binary_int oc magic;
-  output_binary_int oc checksum;
-  output_string oc marshalled;
-  close_out oc
+ let ensure_path_exists path =
+   let dir = Filename.dirname path in
+   HExtlib.mkdir dir
+ in
+ ensure_path_exists fname;
+ let oc = open_out fname in
+ let marshalled = Marshal.to_string metadata marshal_flags in
+ let checksum = Hashtbl.hash marshalled in
+ output_binary_int oc magic;
+ output_binary_int oc checksum;
+ output_string oc marshalled;
+ close_out oc
 
 let load_metadata ~fname =
   let ic = open_in fname in