X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fcommon%2FMakefile.overrides;h=62506b5052df8edc5d5df2394358724e36e6d0aa;hb=1fb8d0192e1f7ee891c53dc282c9c9f111e63e3c;hp=f1ce521218822256ef15a04b1fecd0f90a37efc0;hpb=3c1a6c534877f7b7266809e4d92de02c7f1ee9d4;p=helm.git

diff --git a/helm/hbugs/common/Makefile.overrides b/helm/hbugs/common/Makefile.overrides
index f1ce52121..62506b505 100644
--- a/helm/hbugs/common/Makefile.overrides
+++ b/helm/hbugs/common/Makefile.overrides
@@ -1,6 +1,6 @@
 hbugs_types.cmi hbugs_types.cmo: hbugs_types.ml
 	$(OCAMLC) -c $<
 threadSafe.cmi threadSafe.cmo: threadSafe.ml
-	$(OCAMLC) -package threads -c $<
+	$(OCAMLC) -thread -package threads -c $<
 threadSafe.cmx: threadSafe.ml threadSafe.cmi
-	$(OCAMLOPT) -package threads -c $<
+	$(OCAMLOPT) -thread -package threads -c $<