wants [ ConfigurationFile; CmdLine ] init_status;
if not (already_configured [ Db ] init_status) then
begin
- if not (Helm_registry.get_bool "matita.system") then
- MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
- LibraryDb.create_owner_environment ();
Db::init_status
end
else
Http_getter.init ();
if Helm_registry.get_bool "matita.system" then
Http_getter_storage.activate_system_mode ();
- CicEnvironment.set_trust (* environment trust *)
- (let trust =
- Helm_registry.get_opt_default Helm_registry.get_bool
- ~default:true "matita.environment_trust" in
- fun _ -> trust);
Getter::Environment::init_status
end
else
wants [Registry] init_status;
let includes = ref [] in
let default_includes = [
- BuildTimeConf.stdlib_dir_devel;
- BuildTimeConf.stdlib_dir_installed ;
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");
let initialize_environment () =
status := initialize_environment !status
-
-let _ =
- CicFix.init ();
- CicRecord.init ();
- CicElim.init ()
-;;