type thingsToInitilaize =
ConfigurationFile | Db | Environment | Getter | Makelib | CmdLine | Registry
type thingsToInitilaize =
ConfigurationFile | Db | Environment | Getter | Makelib | CmdLine | Registry
- "matita.paste_unicode_as_tex", "false"
+ "matita.paste_unicode_as_tex", "false";
+ "matita.noinnertypes", "false";
Usage: matitamake [ OPTION ... ] (init | clean | list | destroy | build)
init
Parameters: name (the name of the development, required)
Usage: matitamake [ OPTION ... ] (init | clean | list | destroy | build)
init
Parameters: name (the name of the development, required)
let reduce_verbosity () =
Helm_registry.set_int "matita.verbosity"
(Helm_registry.get_int "matita.verbosity" - 1) in
let reduce_verbosity () =
Helm_registry.set_int "matita.verbosity"
(Helm_registry.get_int "matita.verbosity" - 1) in
let increase_verbosity () =
Helm_registry.set_int "matita.verbosity"
(Helm_registry.get_int "matita.verbosity" + 1) in
let increase_verbosity () =
Helm_registry.set_int "matita.verbosity"
(Helm_registry.get_int "matita.verbosity" + 1) in
"-noprofile",
Arg.Unit (fun () -> Helm_registry.set_bool "matita.profile" false),
"Turns off profiling printings";
"-noprofile",
Arg.Unit (fun () -> Helm_registry.set_bool "matita.profile" false),
"Turns off profiling printings";
"-profile-only",
Arg.String (fun rex -> Helm_registry.set "matita.profile_only" rex),
"Activates only profiler with label matching the provided regex";
"-profile-only",
Arg.String (fun rex -> Helm_registry.set "matita.profile_only" rex),
"Activates only profiler with label matching the provided regex";
("Act on the system library instead of the user one"
^ "\n WARNING: not for the casual user");
"-v", Arg.Unit increase_verbosity, "Increase verbosity";
("Act on the system library instead of the user one"
^ "\n WARNING: not for the casual user");
"-v", Arg.Unit increase_verbosity, "Increase verbosity";
Arg.Unit (fun () -> Helm_registry.set_bool "matita.debug" true),
("Do not catch top-level exception "
^ "(useful for backtrace inspection)");
Arg.Unit (fun () -> Helm_registry.set_bool "matita.debug" true),
("Do not catch top-level exception "
^ "(useful for backtrace inspection)");
-let load_configuration_file () =
- status := load_configuration !status
-
-let parse_cmdline () =
- status := parse_cmdline !status
+let parse_cmdline_and_configuration_file () =
+ status := List.fold_left (fun s f -> f s) !status conf_components