helm/software/components/ng_tactics/Makefile

   1 PACKAGE = ng_tactics
   2
   3 INTERFACE_FILES = \
   4         nCicTacReduction.mli \
   5         nTacStatus.mli \
   6         nCicElim.mli \
   7         nTactics.mli \
   8         zipTree.mli \
   9         andOrTree.mli \
  10         nnAuto.mli \
  11         nAuto.mli \
  12         nDestructTac.mli \
  13         nInversion.mli
  14
  15 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  16
  17
  18 all:
  19
  20
  21 include ../../Makefile.defs
  22 include ../Makefile.common