X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fcommon%2FMakefile;h=ca95aae243384c12e66c724c1cd5385fcc43f60e;hb=1fb8d0192e1f7ee891c53dc282c9c9f111e63e3c;hp=94c354f044a880981bc56b95ac2a524ae18e43eb;hpb=84ce2dfd5b63c9821b6da62daa16b944014a6021;p=helm.git

diff --git a/helm/hbugs/common/Makefile b/helm/hbugs/common/Makefile
index 94c354f04..ca95aae24 100644
--- a/helm/hbugs/common/Makefile
+++ b/helm/hbugs/common/Makefile
@@ -1,8 +1,8 @@
 REQUIRES = helm-xml helm-pxp pcre pxp http
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
 OCAMLFIND = ocamlfind
-OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)
-OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMONOPTS)
+OCAMLC = $(OCAMLFIND) ocamlc -thread $(COMMONOPTS)
+OCAMLOPT = $(OCAMLFIND) ocamlopt -thread $(COMMONOPTS)
 OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMONOPTS)
 OCAMLDOC =	\
 	ocamldoc	\