From 5e71a3be401856b7892f42db7cdc9ce9291a0dbc Mon Sep 17 00:00:00 2001 From: Thierry Vignaud Date: Wed, 14 Sep 2016 17:48:32 +0200 Subject: Gtk package is long dead (sicne nearly 15 years) --- src/tree.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tree.ml b/src/tree.ml index ec312e7..faa1be7 100644 --- a/src/tree.ml +++ b/src/tree.ml @@ -176,7 +176,7 @@ let get_exported t = ) empty_exports t let uses_external_package = function - | "vars" | "Exporter" | "diagnostics" | "strict" | "feature" | "warnings" | "lib" | "POSIX" | "Gtk" | "Storable" + | "vars" | "Exporter" | "diagnostics" | "strict" | "feature" | "warnings" | "lib" | "POSIX" | "Storable" | "Config" | "Socket" | "IO::Socket" | "DynaLoader" | "Data::Dumper" | "Time::localtime" | "Expect" -> true | _ -> false -- cgit v1.2.1