X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_test%2FMakefile;h=04fea5185fd64a9b1b0c3d6989b309fbc19b402f;hb=91db309a46f8b6f100a36abbc568deec10a8d1df;hp=cd902ab3ea8856c758b92c811524917bec8832a5;hpb=48b9bb5e9504aba97cff28a9d7e2797feb42972e;p=helm.git

diff --git a/helm/ocaml/mathql_test/Makefile b/helm/ocaml/mathql_test/Makefile
index cd902ab3e..04fea5185 100644
--- a/helm/ocaml/mathql_test/Makefile
+++ b/helm/ocaml/mathql_test/Makefile
@@ -1,5 +1,6 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = unix helm-cic helm-cic_textual_parser helm-mathql helm-mathql_interpreter helm-mquery_generator 
+REQUIRES = unix helm-cic_textual_parser \
+	   helm-mathql helm-mathql_interpreter helm-mathql_generator
 PREDICATES =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
@@ -16,13 +17,13 @@ MQITOP = mqitop.ml
 MQGTOP = mqgtop.ml
 
 DEPOBJS = $(MQTOP) $(MQITOP) $(MQGTOP)
-AUXOBJS = mQGTopParser.ml mQGTopLexer.ml 
+AUXOBJS = mQGTopParser.ml mQGTopParser.mli mQGTopLexer.ml 
 
 all: $(DEPOBJS:.ml=)
 opt: $(DEPOBJS:.ml=.opt)
 
 depend: $(AUXOBJS)
-	$(OCAMLDEP) $(DEPOBJS) > .depend
+	$(OCAMLDEP) $(DEPOBJS) $(AUXOBJS) > .depend
 
 mqtop: $(MQTOP:.ml=.cmo) $(LIBRARIES)
 	$(OCAMLC) -linkpkg -o mqtop $(MQTOP:.ml=.cmo)