1 PACKAGE = ng_paramodulation
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 \
9 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
15 gcc -I `ocamlc -where`/caml/ -c hash.c
17 include ../../Makefile.defs
18 include ../Makefile.common