From 64bf0485dc98d00782ea8d348eef9ea9c6352a11 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 7 Jan 2004 16:01:50 +0000
Subject: Cible redondante qui trouble les make non linux

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

diff --git a/Makefile b/Makefile
index 61e115846e..cd7108ea76 100644
--- a/Makefile
+++ b/Makefile
@@ -689,9 +689,10 @@ ALLOLDREALS=$(REALSBASEVO:theories%.vo:theories7%.vo) $(REALS_all:theories%.vo:t
 
 SETOIDSVO=theories/Setoids/Setoid.vo
 
-THEORIESVO = $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) $(NARITHVO) $(ZARITHVO) $(LISTSVO) \
-             $(SETSVO) $(INTMAPVO) $(RELATIONSVO) $(WELLFOUNDEDVO) \
-	     $(REALSVO) $(SETOIDSVO) $(SORTINGVO)
+THEORIESVO =\
+  $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) $(NARITHVO) $(ZARITHVO) \
+  $(LISTSVO) $(SETSVO) $(INTMAPVO) $(RELATIONSVO) $(WELLFOUNDEDVO) \
+  $(REALSVO) $(SETOIDSVO) $(SORTINGVO)
 
 NEWTHEORIESLIGHTVO = $(INITVO) $(LOGICVO) $(ARITHVO)
 OLDTHEORIESLIGHTVO = $(NEWTHEORIESLIGHTVO:theories%.vo:theories7%.vo)
@@ -1248,10 +1249,6 @@ toplevel/mltop.optml: toplevel/mltop.ml4
 	$(SHOW)'CAMLP4O   $<'	
 	$(HIDE)$(CAMLP4O) $(CAMLP4EXTENDFLAGS) pr_o.cmo -impl $< > $@ || rm -f $@
 
-toplevel/mltop.ml: toplevel/mltop.ml4
-	$(SHOW)'CAMLP4O  $<'	
-	$(HIDE)$(CAMLP4O) $(CAMLP4EXTENDFLAGS) pr_o.cmo -DByte -impl $< > $@ || rm -f $@
-
 ML4FILES += toplevel/mltop.ml4
 
 clean::
-- 
cgit v1.2.3