let set_registry_values =
List.iter
- (fun key, value ->
+ (fun (key, value) ->
if not (Helm_registry.has key) then Helm_registry.set ~key ~value)
let fill_registry init_status =
let status = ref []
-let usages = Hashtbl.create 11 (** app name (e.g. "matitac") -> usage string *)
+let usages = Hashtbl.create 11 (* app name (e.g. "matitac") -> usage string *)
let _ =
List.iter
(fun (name, s) -> Hashtbl.replace usages name s)
let includes = ref [] in
let default_includes = [
BuildTimeConf.new_stdlib_dir_devel;
- BuildTimeConf.new_stdlib_dir_installed ;
+ (* CSC: no installed standard library!
+ BuildTimeConf.new_stdlib_dir_installed ; *)
]
in
let absolutize s =
(Printf.sprintf ("<filename> Read configuration from filename"
^^ "\n Default: %s")
BuildTimeConf.matita_conf);
+ "-extract_ocaml",
+ Arg.Unit (fun () -> Helm_registry.set_bool "extract_ocaml" true),
+ "Extract ocaml code";
"-force",
Arg.Unit (fun () -> Helm_registry.set_bool "matita.force" true),
("Force actions that would not be executed per default");