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