do not expunge gtk modules
Ignore-this: 5491c43d53bf3c10a6f6257d36e2902d darcs-hash:20110921003037-c41ad-5839cbdaa108f44a69e2ac2046c9d4d3cd345228
This commit is contained in:
parent
e2bd3d586b
commit
4a456f0b59
|
@ -50,7 +50,9 @@ let () =
|
|||
(* Build the list of dependencies. *)
|
||||
let deps = Findlib.topological_closure [Findlib.query "lambda-term";
|
||||
Findlib.query "findlib";
|
||||
Findlib.query "threads"] in
|
||||
Findlib.query "threads";
|
||||
Findlib.query "lablgtk2";
|
||||
Findlib.query "lwt.glib"] 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: *)
|
||||
|
|
Loading…
Reference in New Issue