From 88e311c949bede27c6a42e3a01a9b70717cee9be Mon Sep 17 00:00:00 2001 From: matitaweb Date: Thu, 8 Sep 2011 14:12:38 +0000 Subject: [PATCH] Matitaweb: makefile reverted to old (working) version. --- matitaB/matita/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile index 2c7f989c9..24cf25147 100644 --- a/matitaB/matita/Makefile +++ b/matitaB/matita/Makefile @@ -93,7 +93,6 @@ 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 +387,10 @@ TAGS: .PHONY: depend -depend: SYNTAXOPTIONS = -pp "camlp5o -I $(UTF8DIR) -I $(ULEXDIR) pa_extend.cmo pa_ulex.cma pa_unicode_macro.cma -loc loc" +depend: $(H)echo " OCAMLDEP" $(H)$(OCAMLDEP) *.ml *.mli > .depend -depend.opt: SYNTAXOPTIONS = -pp "camlp5o -I $(UTF8DIR) -I $(ULEXDIR) pa_extend.cmo pa_ulex.cma pa_unicode_macro.cma -loc loc" +depend.opt: $(H)echo " OCAMLDEP -native" $(H)$(OCAMLDEP) -native *.ml *.mli > .depend.opt @@ -451,4 +450,5 @@ deps.dot: .depend # }}} End of deps and automatic rules + # vim: set foldmethod=marker: -- 2.39.2