matita/components/ng_paramodulation/Makefile

   1 PACKAGE = ng_paramodulation
   2
   3 INTERFACE_FILES = \
   4         terms.mli pp.mli foSubst.mli \
   5         orderings.mli foUtils.mli foUnif.mli index.mli superposition.mli \
   6         stats.mli paramod.mli nCicBlob.mli nCicProof.mli \
   7         nCicParamod.mli
   8
   9 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  10
  11 all: hash.o
  12 opt: hash.o
  13
  14 hash.o:
  15         gcc -I `ocamlc -where`/caml/ -c hash.c
  16
  17 include ../../Makefile.defs
  18 include ../Makefile.common