]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql_test/Makefile
patched
[helm.git] / helm / mathql_test / Makefile
index 04fea5185fd64a9b1b0c3d6989b309fbc19b402f..8dd07889eb872ef6d54b639e33b2dd7af81b234b 100644 (file)
@@ -1,6 +1,7 @@
 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)
@@ -16,7 +17,8 @@ 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=)