wants [ ConfigurationFile; CmdLine ] init_status;
if not (already_configured [ Db ] init_status) then
begin
- LibraryDb.create_owner_environment ();
Db::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 =
let initialize_environment () =
status := initialize_environment !status
-
-let _ =
- CicFix.init ()
-;;