helm/software/components/ng_paramodulation/Makefile

   1 PACKAGE = ng_paramodulation
   2
   3 INTERFACE_FILES = \
   4         terms.mli pp.mli foSubst.mli \
   5         foUtils.mli foUnif.mli orderings.mli \
   6         clauses.mli index.mli superposition.mli \
   7         stats.mli paramod.mli nCicBlob.mli cicBlob.mli nCicProof.mli \
   8         nCicParamod.mli
   9
  10 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  11
  12 all:
  13
  14 include ../../Makefile.defs
  15 include ../Makefile.common