native support for reference shells added to mqgtop

[helm.git] / helm / mathql_test / Makefile

diff --git a/helm/mathql_test/Makefile b/helm/mathql_test/Makefile
index 8dd07889eb872ef6d54b639e33b2dd7af81b234b..eaeb5b81e796bea6fb2b2af4b55dac8d40808101 100644 (file)
--- a/helm/mathql_test/Makefile
+++ b/helm/mathql_test/Makefile
@@ -1,9 +1,9 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = unix helm-cic_textual_parser \
-          helm-mathql helm-mathql_interpreter 
-#helm-mathql_generator
+REQUIRES = unix helm-registry helm-cic_textual_parser helm-cic_proof_checking \
+          helm-mathql helm-mathql_interpreter helm-mathql_generator \
+          helm-tactics
 PREDICATES =
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
 OCAMLDEP = ocamldep
@@ -17,8 +17,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=)