helm/ocaml/mathql/Makefile

   1 PACKAGE = mathql
   2 REQUIRES =  helm-urimanager
   3 PREDICATES =
   4
   5 INTERFACE_FILES = mQueryTParser.mli mQueryUtil.mli
   6
   7 IMPLEMENTATION_FILES = mathQL.ml mQueryTParser.ml mQueryTLexer.ml \
   8                        mQueryUtil.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