helm/ocaml/mathql/Makefile

   1 PACKAGE = mathql
   2 REQUIRES =
   3
   4 PREDICATES =
   5
   6 INTERFACE_FILES = mQueryUtil.mli listAvs.mli avsUtil.mli
   7
   8 IMPLEMENTATION_FILES = mQueryUtil.ml avs.ml listAvs.ml mathQL.ml avsUtil.ml
   9
  10 EXTRA_OBJECTS_TO_INSTALL = avs.ml avs.cmi mathQL.ml mathQL.cmi
  11
  12 EXTRA_OBJECTS_TO_CLEAN =
  13
  14 include ../Makefile.common