]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/cic_proof_checking/Makefile
...
[helm.git] / helm / software / components / cic_proof_checking / Makefile
1
2 PACKAGE = cic_proof_checking
3 PREDICATES =
4
5 REDUCTION_IMPLEMENTATION = cicReductionMachine.ml
6
7 INTERFACE_FILES = \
8         cicLogger.mli \
9         cicEnvironment.mli \
10         cicPp.mli \
11         cicUnivUtils.mli \
12         cicSubstitution.mli \
13         cicMiniReduction.mli \
14         cicReduction.mli \
15         cicTypeChecker.mli \
16         freshNamesGenerator.mli \
17         cicDischarge.mli        \
18         $(NULL)
19 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
20
21 # Metadata tools only need zeta-reduction
22 EXTRA_OBJECTS_TO_INSTALL = \
23             cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
24             cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
25 EXTRA_OBJECTS_TO_CLEAN =
26
27 include ../../Makefile.defs
28 include ../Makefile.common