]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/Makefile
Ported to the latest version of libhttp
[helm.git] / helm / graphs / tools / Makefile
index 8246a81dac6bcc5a28e1db80efda4b0bd156bbd4..cbcc1694636b9e105cbddafc292f9b846aaf0aaa 100644 (file)
@@ -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)