helm/mathql/mathql_generator/Makefile

   1 PACKAGE = mathql_generator
   2
   3 PREDICATES =
   4
   5 INTERFACE_FILES = mQGUtil.mli mQueryGenerator.mli \
   6                   cGMatchConclusion.mli cGSearchPattern.mli \
   7                   cGLocateInductive.mli
   8
   9 IMPLEMENTATION_FILES = mQGTypes.ml $(INTERFACE_FILES:%.mli=%.ml)
  10
  11 EXTRA_OBJECTS_TO_INSTALL = mQGTypes.ml mQGTypes.cmi
  12
  13 EXTRA_OBJECTS_TO_CLEAN =
  14
  15 include ../Makefile.common