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                        mQueryHTML.ml mQueryUtil.ml
   9
  10 EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi mQueryTLexer.cmi \
  11                            mQueryTLexer.mll mQueryTParser.mly \
  12                            mQueryHTML.ml mQueryHTML.cmi
  13
  14 EXTRA_OBJECTS_TO_CLEAN = mQueryTParser.ml mQueryTParser.mli \
  15                          mQueryTLexer.ml
  16
  17 include ../Makefile.common