haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

prevent findlib from being initialized twice 

Ignore-this: 5957b6f8068ac6f1234b73bf3fbb9922

darcs-hash:20120122143706-c41ad-9fb04457e9c3454c4910e7c46ccebc2e192144fe
This commit is contained in:
Jeremie Dimino 2012-01-22 15:37:06 +01:00
parent f5663a80f4
commit 26a241e376
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/common/uTop.ml
View File

@ -257,6 +257,9 @@ For a complete description of utop, look at the utop(1) manual page."));
+-----------------------------------------------------------------+ *)
let () =
(* Do not load packages linked with the toplevel. *)
Topfind.don't_load_deeply ["utop"; "findlib"; "lambda-term"]
(* Add findlib path so Topfind is available and it won't be
initialized twice if the user does [#use "topfind"]. *)
Topdirs.dir_directory (Findlib.package_directory "findlib");
(* Make UTop accessible. *)
Topdirs.dir_directory (Findlib.package_directory "utop")