X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fgraphs%2Ftools%2FMakefile;h=cbcc1694636b9e105cbddafc292f9b846aaf0aaa;hb=60c7321771851b82493bb202185ee184f1e7a3d1;hp=8246a81dac6bcc5a28e1db80efda4b0bd156bbd4;hpb=4c67cc0208078e3952a5146563d4d49116f7edf4;p=helm.git

diff --git a/helm/graphs/tools/Makefile b/helm/graphs/tools/Makefile
index 8246a81da..cbcc16946 100644
--- a/helm/graphs/tools/Makefile
+++ b/helm/graphs/tools/Makefile
@@ -3,8 +3,8 @@ DOT=../gv1.7c/bin/dot
 SED=sed "s/font-family:Times;//g"
 
 REQUIRES = http
-PREDICATES =
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+PREDICATES = mt
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)