+install-arch: install_preliminaries
+install-indep: dist_library
+
+install_preliminaries : install_preliminaries.stamp
+
+install_preliminaries.stamp:
+ $(H)install -d $(WHERE)/ma/
+ $(H)cp -a $(INSTALL_STUFF) $(WHERE)
+ifeq ($(HAVE_OCAMLOPT),yes)
+ $(H)install -s $(INSTALL_STUFF_BIN) $(WHERE)
+ $(H)for p in $(INSTALL_PROGRAMS); do ln -fs $$p.opt $(WHERE)/$$p; done
+else
+ $(H)install $(INSTALL_STUFF_BIN) $(WHERE)
+endif
+ $(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITAC); do \
+ ln -fs matitac $(WHERE)/$$p;\
+ done
+ $(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \
+ ln -fs matita $(WHERE)/$$p;\
+ done
+ $(H)cp -a library/ $(WHERE)/ma/standard-library
+ $(H)cp -a contribs/ $(WHERE)/ma/
+ $(H)touch install_preliminaries.stamp
+