MathQL query generator: new interface

[helm.git] / helm / ocaml / mquery_generator / Makefile

diff --git a/helm/ocaml/mquery_generator/Makefile b/helm/ocaml/mquery_generator/Makefile
index 423c17d3775362fe0d63216dd69118349efb7843..2e1ed8e7d8ae82d01bcc02267ec7a9c16964354c 100644 (file)
--- a/helm/ocaml/mquery_generator/Makefile
+++ b/helm/ocaml/mquery_generator/Makefile
@@ -1,7 +1,5 @@
 PACKAGE = mquery_generator
-REQUIRES = \
-       helm-urimanager postgres unix natile-galax helm-mathql \
-       helm-mathql_interpreter helm-cic helm-cic_proof_checking
+REQUIRES = helm-urimanager helm-mathql helm-cic helm-cic_proof_checking
 PREDICATES =
 
 INTERFACE_FILES = mQueryLevels.mli mQueryLevels2.mli mQueryGenerator.mli