]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/Makefile
ocaml 3.09 transition
[helm.git] / helm / graphs / tools / Makefile
index 1d945f8fd66e8abb350a93cf26df7be76b0606fd..0726670319c97eda7006eeeb0a78bc8d6a6aaabd 100644 (file)
@@ -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)