X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FMakefile;h=2c7f989c9a3d4a22f2c3036af26b5ad721ece422;hb=aec6af4406694eccfa7bba95a1e775c0a21f4f2c;hp=9a03d41bf705709341fc00bc5470fbe844ffed86;hpb=dee464f8cd331524663167659d1fad01e558d4e1;p=helm.git

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index 9a03d41bf..2c7f989c9 100644
--- a/matitaB/matita/Makefile
+++ b/matitaB/matita/Makefile
@@ -61,7 +61,6 @@ CMLI =				\
 	matitaInit.mli		\
 	$(NULL)
 WMLI =				\
-	matitaScriptLexer.mli   \
 	matitaTypes.mli		\
 	matitaMisc.mli		\
 	applyTransformation.mli	\
@@ -94,6 +93,7 @@ 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"
 
 matitaFilesystem.cmi: matitaFilesystem.mli
@@ -388,10 +388,10 @@ TAGS:
 
 .PHONY: depend
 
-depend: 
+depend: SYNTAXOPTIONS = -pp "camlp5o -I $(UTF8DIR) -I $(ULEXDIR) pa_extend.cmo pa_ulex.cma pa_unicode_macro.cma -loc loc"
 	$(H)echo "  OCAMLDEP"
 	$(H)$(OCAMLDEP) *.ml *.mli > .depend
-depend.opt: 
+depend.opt: SYNTAXOPTIONS = -pp "camlp5o -I $(UTF8DIR) -I $(ULEXDIR) pa_extend.cmo pa_ulex.cma pa_unicode_macro.cma -loc loc"
 	$(H)echo "  OCAMLDEP -native"
 	$(H)$(OCAMLDEP) -native *.ml *.mli > .depend.opt