X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftutors%2FMakefile;h=f0044dfc6ace1b922dd646705538c605097b171c;hb=6d9de12a536ee4b9e369849ff7e9aa4ca464de9d;hp=fed96f9668c848a4a02d93ed5e96246f4b73eee8;hpb=811c9c106279d504c214b54a267b62653d685945;p=helm.git

diff --git a/helm/hbugs/tutors/Makefile b/helm/hbugs/tutors/Makefile
index fed96f966..f0044dfc6 100644
--- a/helm/hbugs/tutors/Makefile
+++ b/helm/hbugs/tutors/Makefile
@@ -4,8 +4,8 @@ REQUIRES = threads hbugs-common helm-cic_proof_checking helm-getter \
         helm-mathql helm-mathql_interpreter helm-tactics  
 COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLFIND = ocamlfind
-OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)
-OCAMLOPT = $(OCAMLFIND) opt $(COMMONOPTS)
+OCAMLC = $(OCAMLFIND) ocamlc -thread $(COMMONOPTS)
+OCAMLOPT = $(OCAMLFIND) opt -thread $(COMMONOPTS)
 OCAMLDEP = $(OCAMLFIND) ocamldep -package "$(REQUIRES)"
 LINK_OPTIONS = -thread -package threads -linkpkg
 TUTORS_TEMPLATE = hbugs_tutor.TPL.ml