+INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS:%=%.opt)
+else
+INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS)
+endif
+
+install: install_preliminaries dist_library install_conclusion
+
+install_preliminaries:
+ install -d $(DESTDIR)/ma/
+ cp -a $(INSTALL_STUFF) $(DESTDIR)
+ifeq ($(HAVE_OCAMLOPT),yes)
+ install -s $(INSTALL_STUFF_BIN) $(DESTDIR)
+ for p in $(INSTALL_PROGRAMS); do ln -fs $$p.opt $(DESTDIR)/$$p; done
+else
+ install $(INSTALL_STUFF_BIN) $(DESTDIR)