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