]> matita.cs.unibo.it Git - helm.git/blob - matitaB/components/ng_paramodulation/Makefile
update in delayed_updating
[helm.git] / matitaB / 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:
12
13 include ../../Makefile.defs
14 include ../Makefile.common