1 PACKAGE = mathql_interpreter
2 REQUIRES = helm-urimanager pgocaml
5 INTERFACE_FILES = dbconn.mli eval.mli utility.mli func.mli \
6 select.mli intersect.mli union.mli pattern.mli use.mli \
9 IMPLEMENTATION_FILES = mathql.ml $(INTERFACE_FILES:%.mli=%.ml)
11 EXTRA_OBJECTS_TO_INSTALL = mathql.ml mathql.cmi
12 EXTRA_OBJECTS_TO_CLEAN =
15 include ../Makefile.common