Usage: matitamake [ OPTION ... ] (init | clean | list | destroy | build)
init
Parameters: name (the name of the development, required)
+ root (the directory in which the delopment is rooted,
+ optional, default is current working directory)
Description: tells matitamake that a new development radicated
in the current working directory should be handled.
clean
let parse_cmdline init_status =
if not (already_configured [CmdLine] init_status) then begin
let includes = ref [
- BuildTimeConf.stdlib_dir_installed ;
- BuildTimeConf.stdlib_dir_devel ]
+ BuildTimeConf.stdlib_dir_devel;
+ BuildTimeConf.stdlib_dir_installed ; ]
in
let args = ref [] in
let add_l l = fun s -> l := s :: !l in
"Turns off profiling printings";
"-bench",
Arg.Unit (fun () -> Helm_registry.set_bool "matita.bench" true),
- "Turns on timing prints";
+ "Turns on parsable output on stdout, that is timings for matitac...";
"-preserve",
Arg.Unit (fun () -> Helm_registry.set_bool "matita.preserve" true),
"Turns off automatic baseuri cleaning";
in
Arg.parse arg_spec (add_l args) (usage ());
set_list ~key:"matita.includes" includes;
+ args := List.filter (fun x -> x <> "") !args;
set_list ~key:"matita.args" args;
HExtlib.set_profiling_printings
(fun () -> Helm_registry.get_bool "matita.profile");