diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-08-21 13:55:30 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-08-21 13:55:30 +0000 |
commit | c757c93fa3287912b7caaa39c2272b3e0a8e8f32 (patch) | |
tree | 83e3ff17341789261716d404d8658f758557bdbe /toplevel | |
parent | 100345e894ca66ec1f4da838b496d119d1a8888b (diff) | |
download | ocaml-c757c93fa3287912b7caaa39c2272b3e0a8e8f32.tar.gz |
Chercher le .ocamlinit dans $HOME egalement (extension demandee par les porteurs Debian)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
-rw-r--r-- | toplevel/toploop.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml index 667661a9db..c50dbcbd97 100644 --- a/toplevel/toploop.ml +++ b/toplevel/toploop.ml @@ -350,7 +350,11 @@ let _ = crc_intfs let load_ocamlinit ppf = + let home_init = + try Filename.concat (Sys.getenv "HOME") ".ocamlinit" + with Not_found -> ".ocamlinit" in if Sys.file_exists ".ocamlinit" then ignore(use_silently ppf ".ocamlinit") + else if Sys.file_exists home_init then ignore(use_silently ppf home_init) let set_paths () = (* Add whatever -I options have been specified on the command line, |