ported to latest lablgtk2 snapshot

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

diff --git a/helm/hbugs/tutors/Makefile b/helm/hbugs/tutors/Makefile
index a585b0c38b30f186f635dda58ff0a7b4ab3e8d58..f0044dfc6ace1b922dd646705538c605097b171c 100644 (file)
--- a/helm/hbugs/tutors/Makefile
+++ b/helm/hbugs/tutors/Makefile
@@ -4,8 +4,9 @@ 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
 TUTORS_INDEX = INDEX.xml
@@ -52,4 +53,5 @@ clean:
 distclean: clean
        rm -f run/*
 .PHONY: all world byte opt clean start stop
+.PRECIOUS: %.cmi