fixed a typo (inside a comment)

[helm.git] / helm / hbugs / tutors / Makefile

diff --git a/helm/hbugs/tutors/Makefile b/helm/hbugs/tutors/Makefile
index fed96f9668c848a4a02d93ed5e96246f4b73eee8..9e84bf4e671bae3c96dd05705b5aaf1d7ee690e2 100644 (file)
--- 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
@@ -27,8 +27,8 @@ DEPSOPT = $(shell $(OCAMLFIND) query -recursive -predicates native -format "%d/%
 
 all: byte
 world: byte opt
-byte: $(TUTORS)
-opt: $(TUTORS_OPT)
+byte: $(COMMON) $(TUTORS)
+opt: $(COMMON_OPT) $(TUTORS_OPT)
 start:
        $(CTL) start
 stop: