"matita.external_editor", "gvim -f -c 'go %p' %f";
"matita.preserve", "false";
"matita.quiet", "false";
+ "matita.profile", "true";
]
let set_registry_values =
"-nodb", Arg.Unit (fun () -> Helm_registry.set_bool "db.nodb" true),
("Avoid using external database connection "
^ "(WARNING: disable many features)");
+ "-noprofile",
+ Arg.Unit (fun () -> Helm_registry.set_bool "matita.profile" false),
+ "Turns off profiling printings";
] in
let debug_arg_spec =
if BuildTimeConf.debug then
Arg.parse arg_spec (add_l args) (usage ());
set_list ~key:"matita.includes" includes;
set_list ~key:"matita.args" args;
+ HExtlib.set_profiling_printings
+ (fun () -> Helm_registry.get_bool "matita.profile");
CmdLine :: init_status
end else
init_status