X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql_test%2FMakefile;fp=helm%2Fmathql_test%2FMakefile;h=04fea5185fd64a9b1b0c3d6989b309fbc19b402f;hb=b11baedbb4708305eb9a290dc5846e7c62e310f4;hp=8dd07889eb872ef6d54b639e33b2dd7af81b234b;hpb=88271fa4a71a3642880d85e9efe32ce2306f0661;p=helm.git

diff --git a/helm/mathql_test/Makefile b/helm/mathql_test/Makefile
index 8dd07889e..04fea5185 100644
--- a/helm/mathql_test/Makefile
+++ b/helm/mathql_test/Makefile
@@ -1,7 +1,6 @@
 BIN_DIR = /usr/local/bin
 REQUIRES = unix helm-cic_textual_parser \
-	   helm-mathql helm-mathql_interpreter 
-#helm-mathql_generator
+	   helm-mathql helm-mathql_interpreter helm-mathql_generator
 PREDICATES =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
@@ -17,8 +16,7 @@ MQTOP = mqtop.ml
 MQITOP = mqitop.ml
 MQGTOP = mqgtop.ml
 
-DEPOBJS = $(MQTOP) $(MQITOP) 
-# $(MQGTOP)
+DEPOBJS = $(MQTOP) $(MQITOP) $(MQGTOP)
 AUXOBJS = mQGTopParser.ml mQGTopParser.mli mQGTopLexer.ml 
 
 all: $(DEPOBJS:.ml=)