X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FMakefile;h=af2763b98adeabdb2a69846d985a7a6af989bb95;hb=3a6f1747d3a6b445b9b8ba11a86e7a7e2b67be2f;hp=be5ff627fdd80c2e205ba513a3241e350661dba8;hpb=8d94b035f2c18f29ac665232f94708e69aa48fdf;p=helm.git

diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile
index be5ff627f..af2763b98 100644
--- a/helm/http_getter/Makefile
+++ b/helm/http_getter/Makefile
@@ -8,8 +8,8 @@ DOCS = doc/http_getter.conf.xml.sample
 REQUIRES = http dbm pcre netclient pxp shell threads zip
 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	\