diff options
Diffstat (limited to 'toplevel/coqinit.ml')
-rw-r--r-- | toplevel/coqinit.ml | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml index e4cfcb3f7..15916ef8c 100644 --- a/toplevel/coqinit.ml +++ b/toplevel/coqinit.ml @@ -30,14 +30,14 @@ let load_rcfile() = if !load_rc then try if !rcfile_specified then - if file_readable_p !rcfile then + if CUnix.file_readable_p !rcfile then Vernac.load_vernac false !rcfile else raise (Sys_error ("Cannot read rcfile: "^ !rcfile)) - else try let inferedrc = List.find file_readable_p [ - Envars.xdg_config_home/rcdefaultname^"."^Coq_config.version; - Envars.xdg_config_home/rcdefaultname; - System.home/"."^rcdefaultname^"."^Coq_config.version; - System.home/"."^rcdefaultname; + else try let inferedrc = List.find CUnix.file_readable_p [ + Envars.xdg_config_home (fun x -> msg_warning (str x))/rcdefaultname^"."^Coq_config.version; + Envars.xdg_config_home (fun x -> msg_warning (str x))/rcdefaultname; + Envars.home (fun x -> msg_warning (str x))/"."^rcdefaultname^"."^Coq_config.version; + Envars.home (fun x -> msg_warning (str x))/"."^rcdefaultname; ] in Vernac.load_vernac false inferedrc with Not_found -> () @@ -92,9 +92,9 @@ let theories_dirs_map = [ (* Initializes the LoadPath *) let init_load_path () = - let coqlib = Envars.coqlib () in + let coqlib = Envars.coqlib Errors.error in let user_contrib = coqlib/"user-contrib" in - let xdg_dirs = Envars.xdg_dirs in + let xdg_dirs = Envars.xdg_dirs (fun x -> msg_warning (str x)) in let coqpath = Envars.coqpath in let dirs = ["states";"plugins"] in (* NOTE: These directories are searched from last to first *) @@ -130,7 +130,7 @@ let init_ocaml_path () = let add_subdir dl = Mltop.add_ml_dir (List.fold_left (/) Envars.coqroot dl) in - Mltop.add_ml_dir (Envars.coqlib ()); + Mltop.add_ml_dir (Envars.coqlib Errors.error); List.iter add_subdir [ [ "config" ]; [ "dev" ]; [ "lib" ]; [ "kernel" ]; [ "library" ]; [ "pretyping" ]; [ "interp" ]; [ "parsing" ]; [ "proofs" ]; |