X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile;h=af7445047186cbf590325ad5af54d2760ef6bd63;hb=3beaf3083a6677e1ea8228e618f385bef67b7f15;hp=28971ecf81954556fb5d8e7ca03aeae4036d3ca6;hpb=601599d922a6baa759cd3ae8534ea775a1be19b6;p=helm.git

diff --git a/matita/Makefile b/matita/Makefile
index 28971ecf8..af7445047 100644
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -14,6 +14,9 @@ OCAMLC_FLAGS = $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS)
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS)
 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS)
 OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
+INSTALL_PROGRAMS= matita matitac
+INSTALL_PROGRAMS_LINKS_MATITA= cicbrowser 
+INSTALL_PROGRAMS_LINKS_MATITAC= matitadep matitamake matitaclean
 
 MATITA_FLAGS = -noprofile
 NODB=false
@@ -31,10 +34,10 @@ CMOS =				\
 	matitaExcPp.cmo 	\
 	matitaEngine.cmo	\
 	matitacLib.cmo		\
+	applyTransformation.cmo	\
+	matitaGtkMisc.cmo	\
 	matitaScript.cmo	\
 	matitaGeneratedGui.cmo	\
-	matitaGtkMisc.cmo	\
-	applyTransformation.cmo	\
 	matitaMathView.cmo 	\
 	matitaGui.cmo		\
 	$(NULL)
@@ -96,11 +99,20 @@ upx: $(PROGRAMS_UPX)
 .PHONY: opt upx
 
 ifeq ($(HAVE_OCAMLOPT),yes)
-world: depend.opt opt
+world: depend.opt opt links
 else
 world: depend all
 endif
 
+#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
+
 matita: matita.ml $(LIB_DEPS) $(CMOS)
 	$(H)echo "  OCAMLC $<"
 	$(H)$(OCAMLC) $(PKGS) -linkpkg -o $@ $(CMOS) matita.ml
@@ -228,9 +240,6 @@ INSTALL_STUFF = 			\
 	LICENSE 			\
 	$(NULL)
 
-INSTALL_PROGRAMS= matita matitac
-INSTALL_PROGRAMS_LINKS_MATITA= cicbrowser 
-INSTALL_PROGRAMS_LINKS_MATITAC= matitadep matitamake matitaclean
 ifeq ($(HAVE_OCAMLOPT),yes)
 INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS:%=%.opt) 
 else