diff options
| author | barras | 2005-11-23 17:21:53 +0000 |
|---|---|---|
| committer | barras | 2005-11-23 17:21:53 +0000 |
| commit | e280c8edf8d49f50b9022e20f0ac5f104f123c67 (patch) | |
| tree | b16dd5101ac38a6b25264a794377d3a14069fb6b /toplevel | |
| parent | fd9eb182a5a45d04c634ea17e2225dddbf667033 (diff) | |
bug de coqide sous windows (bad file descriptor)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7603 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/coqinit.ml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml index bb91637310..0df54e6263 100644 --- a/toplevel/coqinit.ml +++ b/toplevel/coqinit.ml @@ -68,16 +68,15 @@ let hm2 s = let n = String.length s in if n > 1 && s.[0] = '.' && s.[1] = '/' then String.sub s 2 (n-2) else s -let getenv_else s dft = try Sys.getenv s with Not_found -> dft - (* Initializes the LoadPath according to COQLIB and Coq_config *) let init_load_path () = (* developper specific directories to open *) let dev = if Coq_config.local then [ "dev" ] else [] in let coqlib = - if Coq_config.local || !Options.boot then Coq_config.coqtop - (* variable COQLIB overrides the default library *) - else getenv_else "COQLIB" Coq_config.coqlib in + (* variable COQLIB overrides the default library *) + getenv_else "COQLIB" + (if Coq_config.local || !Options.boot then Coq_config.coqtop + else Coq_config.coqlib) in (* first user-contrib *) let user_contrib = coqlib/"user-contrib" in if Sys.file_exists user_contrib then |