OBJECTS_TO_INSTALL = $(ARCHIVE) $(ARCHIVE_OPT) $(ARCHIVE_OPT:%.cmxa=%.a) \
$(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.cmi) \
$(EXTRA_OBJECTS_TO_INSTALL)
OBJECTS_TO_INSTALL = $(ARCHIVE) $(ARCHIVE_OPT) $(ARCHIVE_OPT:%.cmxa=%.a) \
$(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.cmi) \
$(EXTRA_OBJECTS_TO_INSTALL)