From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Thu, 8 Sep 2011 14:12:38 +0000 (+0000)
Subject: Matitaweb: makefile reverted to old (working) version.
X-Git-Tag: make_still_working~2302
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=88e311c949bede27c6a42e3a01a9b70717cee9be

Matitaweb: makefile reverted to old (working) version.
---

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: