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

diff --git a/helm/graphs/tools/Makefile b/helm/graphs/tools/Makefile
index 48f035454..072667031 100644
--- a/helm/graphs/tools/Makefile
+++ b/helm/graphs/tools/Makefile
@@ -1,8 +1,9 @@
 PID=
-DOT=../gv1.7c/bin/dot
-SED=sed "s/font-family:Times;//g"
+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)