]> matita.cs.unibo.it Git - helm.git/blob - matita/components/ng_refiner/Makefile
advancement in match
[helm.git] / matita / components / ng_refiner / Makefile
1 PACKAGE = ng_refiner
2 PREDICATES =
3
4 INTERFACE_FILES = \
5         nDiscriminationTree.mli \
6         nCicMetaSubst.mli \
7         nCicUnifHint.mli \
8         nCicCoercion.mli \
9   nCicRefineUtil.mli \
10         nCicUnification.mli \
11         nCicRefiner.mli
12
13 IMPLEMENTATION_FILES = \
14   $(INTERFACE_FILES:%.mli=%.ml)
15 EXTRA_OBJECTS_TO_INSTALL = 
16 EXTRA_OBJECTS_TO_CLEAN =
17 %.cmo: OCAMLOPTIONS += -w Ae
18 %.cmi: OCAMLOPTIONS += -w Ae
19 %.cmx: OCAMLOPTIONS += -w Ae
20
21 include ../../Makefile.defs
22 include ../Makefile.common
23