X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2FMakefile;h=c6450d17814c145ffb20997bcaae2a59e64d668b;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=8732c11ff2467015328f09ab3731820f59f1a61a;hpb=a3fb06e72407e3590fa60a74ac5fec01e6bfe1f9;p=helm.git

diff --git a/helm/ocaml/getter/Makefile b/helm/ocaml/getter/Makefile
index 8732c11ff..c6450d178 100644
--- a/helm/ocaml/getter/Makefile
+++ b/helm/ocaml/getter/Makefile
@@ -2,8 +2,8 @@
 PACKAGE = getter
 
 REQUIRES = \
-	http dbm pcre shell zip \
-	helm-xml helm-thread helm-logger helm-urimanager helm-registry
+	http unix pcre zip \
+	helm-xml helm-logger helm-urimanager helm-registry
 
 INTERFACE_FILES =		\
   	http_getter_wget.mli	\
@@ -13,7 +13,6 @@ INTERFACE_FILES =		\
 	http_getter_env.mli	\
 	http_getter_storage.mli	\
 	http_getter_common.mli	\
-	http_getter_map.mli	\
 	http_getter.mli		\
 	$(NULL)