\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-let default_objs = []
+module R = Helm_registry
+module US = NUri.UriSet
-let default_srcs = []
+let default_objs = US.empty
+
+let default_srcs = US.empty
let default_exclude = []
let default_net = 0
+let default_no_devel = true
+
+let default_no_init = true
+
let objs = ref default_objs
let srcs = ref default_srcs
let net = ref default_net
+let no_devel = ref default_no_devel
+
+let no_init = ref default_no_init
+
let clear () =
+ R.clear ();
objs := default_objs; srcs := default_srcs;
- exclude := default_exclude; net := default_net
+ exclude := default_exclude; net := default_net;
+ no_devel := default_no_devel; no_init := default_no_init