]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic_proof_checking/Makefile
Fixing of guarded_by_constructors completed.
[helm.git] / helm / ocaml / cic_proof_checking / Makefile
1 PACKAGE = cic_proof_checking
2 REQUIRES = helm-cic
3 PREDICATES =
4
5 INTERFACE_FILES = cicSubstitution.mli cicEnvironment.mli cicPp.mli \
6                   cicMiniReduction.mli cicReduction.mli cicTypeChecker.mli \
7                   cicCooking.mli
8 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
9
10 # Metadata tools only need zeta-reduction
11 EXTRA_OBJECTS_TO_INSTALL = \
12             cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
13             cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
14
15
16 include ../Makefile.common