wants [ ConfigurationFile; CmdLine ] init_status;
if not (already_configured [ Db ] init_status) then
begin
- LibraryDb.create_owner_environment ();
Db::init_status
end
else
let initialize_environment () =
status := initialize_environment !status
-
-let _ =
- CicFix.init ()
-;;