1 PACKAGE = mathql_interpreter
2 REQUIRES = helm-urimanager helm-mathql postgres
7 PRE_IFILES = mQIPostgres.mli mQIMap.mli mQIConn.mli \
8 mQIUtil.mli mQILib.mli mQIProperty.mli
10 POST_IFILES = mQueryIO.mli mQueryInterpreter.mli
12 INTERFACE_FILES = $(PRE_IFILES) $(POST_IFILES)
14 IMPLEMENTATION_FILES = $(PRE_IFILES:%.mli=%.ml) \
15 mQueryTParser.ml mQueryTLexer.ml \
16 $(POST_IFILES:%.mli=%.ml)
18 EXTRA_OBJECTS_TO_INSTALL = mQITypes.cmi mQueryTLexer.cmi \
19 mQITypes.ml mQueryTLexer.mll mQueryTParser.mly
21 EXTRA_OBJECTS_TO_CLEAN = mQueryTParser.ml mQueryTParser.mli \
24 include ../Makefile.common