snapshot, notably:

[helm.git] / helm / matita / matitaMisc.ml

diff --git a/helm/matita/matitaMisc.ml b/helm/matita/matitaMisc.ml
index dd84abcbd00de0e7ffc32b60907f409a1158a029..0bb2ea7e0ec2101e5726838d6cad4cdc12a05a76 100644 (file)
--- a/helm/matita/matitaMisc.ml
+++ b/helm/matita/matitaMisc.ml
@@ -140,3 +140,9 @@ let dbd_instance =
   in
   fun () -> Lazy.force dbd
 
+let singleton f =
+  let instance = lazy (f ()) in
+  fun () -> Lazy.force instance
+
+let mkdirs = List.iter (fun d -> ignore (Unix.system ("mkdir -p " ^ d)))
+