+#links %.opt -> %
+links:
+ $(H)for X in $(INSTALL_PROGRAMS_LINKS_MATITAC) \
+ $(INSTALL_PROGRAMS_LINKS_MATITA); do\
+ ln -sf $$X.opt $$X;\
+ done
+ $(H)ln -sf matita.opt matita
+ $(H)ln -sf matitac.opt matitac
+
+linkonly:
+ $(H)echo " OCAMLC matita.ml"
+ $(H)$(OCAMLC) $(PKGS) -linkpkg -o matita $(CMOS) matita.ml
+ $(H)echo " OCAMLC matitac.ml"
+ $(H)$(OCAMLC) $(CPKGS) -linkpkg -o matitac $(CCMOS) $(MAINCMOS) matitac.ml
+.PHONY: linkonly