2 PACKAGE = cic_proof_checking
3 REQUIRES = helm-cic helm-logger helm-getter helm-xml
6 REDUCTION_IMPLEMENTATION = cicReductionMachine.ml
14 cicMiniReduction.mli \
17 freshNamesGenerator.mli \
20 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
22 # Metadata tools only need zeta-reduction
23 EXTRA_OBJECTS_TO_INSTALL = \
24 cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
25 cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
26 EXTRA_OBJECTS_TO_CLEAN =
28 include ../Makefile.common
34 $(MAKE) -C utilities/ all
36 $(MAKE) -C utilities/ opt
38 clean: clean_utilities
40 $(MAKE) -C utilities/ clean