1 PACKAGE = mathql_interpreter
2 REQUIRES = helm-urimanager postgres unix helm-mathql
5 INTERFACE_FILES = mqint.mli
7 IMPLEMENTATION_FILES = mqint.ml
9 # $(INTERFACE_FILES:%.mli=%.ml)
11 EXTRA_OBJECTS_TO_INSTALL =
13 EXTRA_OBJECTS_TO_CLEAN =
15 include ../Makefile.common