X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2FMakefile;h=0726670319c97eda7006eeeb0a78bc8d6a6aaabd;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=1d945f8fd66e8abb350a93cf26df7be76b0606fd;hpb=dcfdf34d7b60c987b1686cadb338fc490c4d7487;p=helm.git

diff --git a/helm/graphs/tools/Makefile b/helm/graphs/tools/Makefile
index 1d945f8fd..072667031 100644
--- a/helm/graphs/tools/Makefile
+++ b/helm/graphs/tools/Makefile
@@ -3,7 +3,7 @@ DOT=dot
 #SED=sed "s/font-family:Times;//g"
 SED=cat
 
-REQUIRES = http
+REQUIRES = http helm-registry
 PREDICATES = mt
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)