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