ng_tactics/Makefile

   1 PACKAGE = ng_tactics
   2
   3 INTERFACE_FILES = \
   4         nTactics.mli
   5
   6 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
   7
   8
   9 all:
  10
  11
  12 include ../../Makefile.defs
  13 include ../Makefile.common