Makefile

   1 PACKAGE = mathql
   2 REQUIRES = helm-urimanager helm-cic helm-cic_textual_parser
   3 PREDICATES =
   4
   5 INTERFACE_FILES = mQueryTParser.mli mQueryUtil.mli mQueryMisc.mli
   6
   7 IMPLEMENTATION_FILES = mathQL.ml mQueryTParser.ml mQueryTLexer.ml \
   8                        mQueryUtil.ml mQueryMisc.ml
   9
  10 EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi mQueryTLexer.cmi \
  11                            mQueryTLexer.mll mQueryTParser.mly
  12
  13 EXTRA_OBJECTS_TO_CLEAN = mQueryTParser.ml mQueryTParser.mli \
  14                          mQueryTLexer.ml
  15
  16 include ../Makefile.common