fix the usage of threads inside the emacs mode

Ignore-this: 930a4187d5df267ebe880017b43805a2

darcs-hash:20110731165014-c41ad-2b67d0c47c48ea7ff8834f1cff2fb857da49fbf5
This commit is contained in:
Jeremie Dimino 2011-07-31 18:50:14 +02:00
parent 344fa5d9a9
commit 0dfa0749d1
1 changed files with 3 additions and 2 deletions

View File

@ -55,11 +55,12 @@ let () =
(fun env _ ->
(* Build the list of dependencies. *)
let deps = Findlib.topological_closure [Findlib.query "lambda-term";
Findlib.query "findlib"] in
Findlib.query "findlib";
Findlib.query "threads"] in
(* Build the set of locations of dependencies. *)
let locs = List.fold_left (fun set pkg -> StringSet.add pkg.Findlib.location set) StringSet.empty deps in
(* Directories to search for .cmi: *)
let directories = StringSet.add stdlib_path locs in
let directories = StringSet.add stdlib_path (StringSet.add (stdlib_path / "threads") locs) in
(* Construct the set of modules to keep by listing
.cmi files: *)
let modules =