-OBJECTS = cicSubstitution.cmo cicEnvironment.cmo cicPp.cmo \
- cicMiniReduction.cmo cicReduction.cmo cicTypeChecker.cmo \
- cicCooking.cmo
+# Metadata tools only need zeta-reduction
+EXTRA_OBJECTS_TO_INSTALL = \
+ cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
+ cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
+EXTRA_OBJECTS_TO_CLEAN =