helm/ocaml/mathql_interpreter_galax/Makefile

   1 PACKAGE = mathql_interpreter_galax
   2 REQUIRES = helm-urimanager unix helm-mathql natile-galax
   3 PREDICATES =
   4
   5 INTERFACE_FILES = eval.mli func.mli diff.mli \
   6                   sortedby.mli select.mli intersect.mli union.mli \
   7                   pattern.mli use.mli letin.mli mqint.mli
   8
   9 IMPLEMENTATION_FILES = mathql_semantics.ml \
  10                     $(INTERFACE_FILES:%.mli=%.ml)
  11
  12 EXTRA_OBJECTS_TO_INSTALL = mathql_semantics.ml mathql_semantics.cmi
  13
  14 EXTRA_OBJECTS_TO_CLEAN =
  15
  16
  17 include ../Makefile.common