helm/software/components/ng_paramodulation/Makefile

   1 PACKAGE = ng_paramodulation
   2
   3 INTERFACE_FILES = \
   4         terms.mli pp.mli founif.mli index.mli orderings.mli subst.mli \
   5         nCicBlob.mli cicBlob.mli
   6
   7 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
   8
   9 all:
  10
  11 include ../../Makefile.defs
  12 include ../Makefile.common