X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FMakefile;h=ba9baef615895852b68703dc9eb79bb82e5fd567;hb=0c547d79d0edc850787ac27edc25565aa271ec2a;hp=24cf2514702742935a128c0dbbe3d96cffc9d2e4;hpb=ce3cfcf5a01502918da07b8e13d8a4be93dc9fa2;p=helm.git

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index 24cf25147..ba9baef61 100644
--- a/matitaB/matita/Makefile
+++ b/matitaB/matita/Makefile
@@ -23,11 +23,13 @@ OCAML_DEBUG_FLAGS = -g
 OCAMLC_FLAGS = $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS)
 OCAMLC = $(OCAMLFIND) ocamlc$(OCAML_PROF) $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS) $(SYNTAXOPTIONS)
 OCAMLTOP = $(OCAMLFIND) ocamlmktop$(OCAML_PROF) $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS) $(SYNTAXOPTIONS)
-OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS) $(OCAMLOPT_DEBUG_FLAGS)
+OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS) $(OCAMLOPT_DEBUG_FLAGS) $(SYNTAXOPTIONS)
 OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAMLDEP_FLAGS)
 INSTALL_PROGRAMS= matita matitac
 INSTALL_PROGRAMS_LINKS_MATITA= 
 INSTALL_PROGRAMS_LINKS_MATITAC= matitaclean
+MY_SYNTAXOPTIONS = -pp "camlp5o -I $(UTF8DIR) -I $(ULEXDIR) pa_extend.cmo pa_ulex.cma pa_unicode_macro.cma -loc loc"
+
 
 MATITA_FLAGS = -noprofile
 NODB=false
@@ -80,6 +82,54 @@ CML = buildTimeConf.ml $(CMLI:%.mli=%.ml)
 WML = buildTimeConf.ml $(WMLI:%.mli=%.ml)
 MAINCML = $(MAINCMLI:%.mli=%.ml)
 
+ALL_NORMAL_ML =	                        \
+                applyTransformation.ml  \
+                matitaclean.ml          \
+                matitaFilesystem.ml     \
+                matitaMathView.ml       \
+                matitaTypes.ml          \
+                buildTimeConf.ml        \
+                matitac.ml              \
+                matitaGeneratedGui.ml   \
+                matitaMisc.ml           \
+                predefined_virtuals.ml  \
+                cicMathView.ml          \
+                matitadaemon.ml         \
+                matitaGtkMisc.ml        \
+                matita.ml               \
+                virtuals.ml             \
+                lablGraphviz.ml         \
+                matitaEngine.ml         \
+                matitaGui.ml            \
+                matitaAuthentication.ml \
+                matitaExcPp.ml          \
+                matitaInit.ml           \
+                matitaScript.ml
+
+ALL_NORMAL_MLI =	                        \
+                applyTransformation.mli  \
+                matitaclean.mli          \
+                matitaFilesystem.mli     \
+                matitaMathView.mli       \
+                matitaTypes.mli          \
+                matitaMisc.mli           \
+                predefined_virtuals.mli  \
+                cicMathView.mli          \
+                matitaGtkMisc.mli        \
+                virtuals.mli             \
+                lablGraphviz.mli         \
+                matitaEngine.mli         \
+                matitaGui.mli            \
+                matitaGuiTypes.mli       \
+                matitaScriptLexer.mli    \
+                matitaAuthentication.mli \
+                matitaExcPp.mli          \
+                matitaInit.mli           \
+                matitaScript.mli
+
+ALL_SYNTAX_ML = matitaScriptLexer.ml
+ALL_SYNTAX_MLI = matitaScriptLexer.mli
+
 PROGRAMS_BYTE = \
 	matita matitac matitadaemon matitaclean
 PROGRAMS = $(PROGRAMS_BYTE) 
@@ -93,7 +143,8 @@ all: $(PROGRAMS) $(NOINST_PROGRAMS)
 UTF8DIR := $(shell $(OCAMLFIND) query helm-syntax_extensions)
 ULEXDIR := $(shell $(OCAMLFIND) query ulex08)
 
-matitaScriptLexer.cmo: SYNTAXOPTIONS = -pp "camlp5o -I $(UTF8DIR) -I $(ULEXDIR) pa_extend.cmo pa_ulex.cma pa_unicode_macro.cma -loc loc"
+matitaScriptLexer.cmo: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS)
+matitaScriptLexer.cmx: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS) 
 
 matitaFilesystem.cmi: matitaFilesystem.mli
 	$(H)echo "  OCAMLC $<"
@@ -108,6 +159,9 @@ matitaAuthentication.cmi: matitaAuthentication.mli
 matitaAuthentication.cmo: matitaAuthentication.ml
 	$(H)echo "  OCAMLC $<"
 	$(H)$(OCAMLC) $(WPKGS) -c $<
+matitaAuthentication.cmx: matitaAuthentication.ml
+	$(H)echo "  OCAMLOPT $<"
+	$(H)$(OCAMLOPT) $(WPKGS) -c $<
 
 CMOS = $(ML:%.ml=%.cmo)
 CCMOS = $(CML:%.ml=%.cmo)
@@ -389,10 +443,12 @@ TAGS:
 
 depend: 
 	$(H)echo "  OCAMLDEP"
-	$(H)$(OCAMLDEP) *.ml *.mli > .depend
+	$(H)$(OCAMLDEP) $(ALL_NORMAL_ML) $(ALL_NORMAL_MLI) > .depend
+	$(H)$(OCAMLDEP) $(MY_SYNTAXOPTIONS) $(ALL_SYNTAX_ML) $(ALL_SYNTAX_MLI) >> .depend
 depend.opt: 
 	$(H)echo "  OCAMLDEP -native"
-	$(H)$(OCAMLDEP) -native *.ml *.mli > .depend.opt
+	$(H)$(OCAMLDEP) -native $(ALL_NORMAL_ML) $(ALL_NORMAL_MLI) > .depend.opt
+	$(H)$(OCAMLDEP) $(MY_SYNTAXOPTIONS) -native $(ALL_SYNTAX_ML) $(ALL_SYNTAX_MLI) >> .depend.opt
 
 # this should be sligtly better, since should work with 'make all opt'
 MAKECMDGOALS_DELIM=$(addprefix _x_,$(addsuffix _x_,$(MAKECMDGOALS)))