]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_test/Makefile
Ctr+Backspace is now enabled. Used to perform "alternative" deletion.
[helm.git] / helm / ocaml / mathql_test / Makefile
index f6f41aaa4fe5ce42f9f15e0eef46ef61ef92a7de..04fea5185fd64a9b1b0c3d6989b309fbc19b402f 100644 (file)
@@ -1,24 +1,29 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = unix helm-cic helm-cic_textual_parser helm-mathql helm-mathql_interpreter 
+REQUIRES = unix helm-cic_textual_parser \
+          helm-mathql helm-mathql_interpreter helm-mathql_generator
 PREDICATES =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
 OCAMLDEP = ocamldep
+OCAMLYACC = ocamlyacc
+OCAMLLEX = ocamllex
 
 LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
 LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
 
 MQTOP = mqtop.ml
 MQITOP = mqitop.ml
+MQGTOP = mqgtop.ml
 
-DEPOBJS = $(MQTOP) $(MQITOP) 
+DEPOBJS = $(MQTOP) $(MQITOP) $(MQGTOP)
+AUXOBJS = mQGTopParser.ml mQGTopParser.mli mQGTopLexer.ml 
 
 all: $(DEPOBJS:.ml=)
 opt: $(DEPOBJS:.ml=.opt)
 
-depend:
-       $(OCAMLDEP) $(DEPOBJS) > .depend
+depend: $(AUXOBJS)
+       $(OCAMLDEP) $(DEPOBJS) $(AUXOBJS) > .depend
 
 mqtop: $(MQTOP:.ml=.cmo) $(LIBRARIES)
        $(OCAMLC) -linkpkg -o mqtop $(MQTOP:.ml=.cmo)
@@ -32,19 +37,32 @@ mqitop: $(MQITOP:.ml=.cmo) $(LIBRARIES)
 mqitop.opt: $(MQITOP:.ml=.cmx) $(LIBRARIES_OPT)
        $(OCAMLOPT) -linkpkg -o mqitop.opt $(MQITOP:.ml=.cmx)
 
-.SUFFIXES: .ml .mli .cmo .cmi .cmx
+mqgtop: mQGTopParser.cmi $(AUXOBJS:.ml=.cmo) $(MQGTOP:.ml=.cmo) $(LIBRARIES)
+       $(OCAMLC) -linkpkg -o mqgtop $(AUXOBJS:.ml=.cmo) $(MQGTOP:.ml=.cmo)
+
+mqgtop.opt: $(AUXOBJS:.ml=.cmx) $(MQGTOP:.ml=.cmx) $(LIBRARIES_OPT)
+       $(OCAMLOPT) -linkpkg -o mqgtop.opt $(AUXOBJS:.ml=.cmx) $(MQGTOP:.ml=.cmx)
+
+.SUFFIXES: .ml .mli .cmo .cmi .cmx .mly .mll
 .ml.cmo: $(LIBRARIES)
        $(OCAMLC) -c $<
 .mli.cmi: $(LIBRARIES)
        $(OCAMLC) -c $<
 .ml.cmx: $(LIBRARIES_OPT)
        $(OCAMLOPT) -c $<
+.mly.ml: 
+       $(OCAMLYACC) $<
+.mly.mli:
+       $(OCAMLYACC) $<
+.mll.ml:
+       $(OCAMLLEX) $<
 
 $(DEPOBJS:%.ml=%.cmo): $(LIBRARIES)
 $(DEPOBJS:%.ml=%.cmx): $(LIBRARIES_OPT)
 
 clean:
-       rm -f *.cm[iox] *.o $(DEPOBJS:.ml=) $(DEPOBJS:.ml=.opt) 
+       rm -f *.cm[iox] *.o $(DEPOBJS:.ml=) $(DEPOBJS:.ml=.opt) \
+        mQGTopParser.ml mQGTopParser.mli mQGTopLexer.ml
 
 install:
        cp $(DEPOBJS:.ml=) $(DEPOBJS:.ml=.opt) $(BIN_DIR)