helm/ocaml/mathql/Makefile

   1 PACKAGE = mathql
   2 REQUIRES = helm-cic helm-cic_textual_parser
   3 PREDICATES =
   4
   5 INTERFACE_FILES = mQueryMisc.mli
   6
   7 IMPLEMENTATION_FILES = mathQL.ml mQueryMisc.ml
   8
   9 EXTRA_OBJECTS_TO_INSTALL = mathQL.ml mathQL.cmi
  10
  11 EXTRA_OBJECTS_TO_CLEAN =
  12
  13 include ../Makefile.common