X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2FMakefile;h=a4a0c181a73b920e6e7c79e6a36d90445bf3753d;hb=381006cf8b418cfdeaf145ab7df9e8f2b19ae2e6;hp=04fea5185fd64a9b1b0c3d6989b309fbc19b402f;hpb=efdc3184ccd0738fe48aa0056fc444fba23329e8;p=helm.git

diff --git a/helm/mathql_test/Makefile b/helm/mathql_test/Makefile
index 04fea5185..a4a0c181a 100644
--- a/helm/mathql_test/Makefile
+++ b/helm/mathql_test/Makefile
@@ -1,6 +1,7 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = unix helm-cic_textual_parser \
-	   helm-mathql helm-mathql_interpreter helm-mathql_generator
+REQUIRES = unix helm-cic_textual_parser helm-cic_proof_checking \
+	   helm-mathql helm-mathql_interpreter helm-mathql_generator \
+	   helm-tactics
 PREDICATES =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)