X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2FMakefile;h=cbcc1694636b9e105cbddafc292f9b846aaf0aaa;hb=63e86a8e981cda7b7e4438b48ce622b7c222cc42;hp=8246a81dac6bcc5a28e1db80efda4b0bd156bbd4;hpb=05907edbcd5364bac6b06153a6a134c8b8a300d7;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)