matita/components/ng_tactics/Makefile

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