--- /dev/null
+PACKAGE = mathql_interpreter
+REQUIRES = helm-urimanager pgocaml
+PREDICATES =
+
+INTERFACE_FILES = dbconn.mli eval.mli utility.mli func.mli \
+ select.mli intersect.mli union.mli pattern.mli use.mli \
+ mqint.mli
+
+IMPLEMENTATION_FILES = mathql.ml $(INTERFACE_FILES:%.mli=%.ml)
+
+EXTRA_OBJECTS_TO_INSTALL = mathql.ml mathql.cmi
+EXTRA_OBJECTS_TO_CLEAN =
+
+
+include ../Makefile.common