helm/software/components/ng_tactics/Makefile

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