X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fbroker%2FMakefile;h=e4cb57236b0328f6df9bc34116fd0fc189fc4f12;hb=bcec0bb27e0dce3e72c97011f9c9dd210f604705;hp=fe1bf71e95ca0c8db7612101d1f11a81f562061d;hpb=84ce2dfd5b63c9821b6da62daa16b944014a6021;p=helm.git

diff --git a/helm/hbugs/broker/Makefile b/helm/hbugs/broker/Makefile
index fe1bf71e9..e4cb57236 100644
--- a/helm/hbugs/broker/Makefile
+++ b/helm/hbugs/broker/Makefile
@@ -1,10 +1,10 @@
 NAME = hbugs_broker
 METADIR = ../meta
-REQUIRES = http threads hbugs-common hbugs-thread-safe
+REQUIRES = http threads hbugs-common hbugs-thread-safe threads
 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)
 MODULES = hbugs_broker_registry
 OCAMLDOC =	\