IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
# Metadata tools only need zeta-reduction
EXTRA_OBJECTS_TO_INSTALL = \
cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
# Metadata tools only need zeta-reduction
EXTRA_OBJECTS_TO_INSTALL = \
cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o