X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftutors%2FMakefile;h=a585b0c38b30f186f635dda58ff0a7b4ab3e8d58;hb=cab4eba3c7da115ecc1973d989b321b46835e1eb;hp=fe6331ee4dfb8585581e7dedb629eb4829667820;hpb=f59e3c55dde91612a2e8a16335f2a2e9137fde5f;p=helm.git

diff --git a/helm/hbugs/tutors/Makefile b/helm/hbugs/tutors/Makefile
index fe6331ee4..a585b0c38 100644
--- a/helm/hbugs/tutors/Makefile
+++ b/helm/hbugs/tutors/Makefile
@@ -1,5 +1,7 @@
 METADIR = ../meta
-REQUIRES = threads hbugs-common helm-cic_proof_checking helm-tactics helm-getter
+REQUIRES = threads hbugs-common helm-cic_proof_checking helm-getter \
+        helm-cic_textual_parser \
+        helm-mathql helm-mathql_interpreter helm-tactics  
 COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)