From ed3ad6e9e6a7fd88e726a515cf357ede69a8fc33 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 16 Jul 2004 21:40:30 +0000
Subject: Typo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5934 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index e688304e3b..c74cf5eedd 100644
--- a/Makefile
+++ b/Makefile
@@ -1396,21 +1396,19 @@ proofs/tacexpr.cmx: proofs/tacexpr.ml
 	$(SHOW)'OCAMLOPT  -rectypes $<'
 	$(HIDE)$(OCAMLOPT) -rectypes $(OPTFLAGS) -c $<
 
-# files compiled with camlp4 because of macros
+ML4FILES += lib/pp.ml4 lib/compat.ml4
 
 lib/compat.cmo: lib/compat.ml4
 	$(SHOW)'OCAMLC4  $<' 
 	$(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) -D$(CAMLVERSION) -impl" -c -impl $<
 
 lib/compat.cmx: lib/compat.ml4
-	$(SHOW)'OCAMLC  $<' 
+	$(SHOW)'OCAMLOPT  $<' 
 	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) -D$(CAMLVERSION) -impl" -c -impl $<
 
 # files compiled with camlp4 because of streams syntax
 
-ML4FILES += lib/pp.ml4 			\
-	 lib/compat.ml4 		\
-	 contrib/xml/xml.ml4		\
+ML4FILES += contrib/xml/xml.ml4		\
 	 contrib/xml/acic2Xml.ml4	\
 	 contrib/xml/proofTree2Xml.ml4	\
 	 contrib/interface/line_parser.ml4	\
-- 
cgit v1.2.3