From 2d8162c52be5555e0e4aa4d9a6f6a6acba4ba31d Mon Sep 17 00:00:00 2001
From: lmamane
Date: Mon, 27 Nov 2006 11:11:30 +0000
Subject: The $(BEST) binaries symlinks depend on existence of target, not
 newness.

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

diff --git a/Makefile b/Makefile
index 1feac1659f..5d49b00b63 100644
--- a/Makefile
+++ b/Makefile
@@ -421,7 +421,7 @@ $(COQTOPBYTE): $(COQMKTOP) $(LINKCMO) $(LIBCOQRUN) $(USERTACCMO)
 	$(SHOW)'COQMKTOP -o $@'	
 	$(HIDE)$(COQMKTOP) -top $(BYTEFLAGS) -o $@
 
-$(COQTOP):
+$(COQTOP): | $(BESTCOQTOP)
 	cd bin; ln -sf coqtop.$(BEST)$(EXE) coqtop$(EXE)
 
 # coqmktop 
@@ -439,7 +439,7 @@ $(COQMKTOPOPT): $(COQMKTOPCMX)
 	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -o $@ str.cmxa unix.cmxa \
           $(COQMKTOPCMX) $(OSDEPLIBS)
 
-$(COQMKTOP): $(BESTCOQMKTOP)
+$(COQMKTOP): | $(BESTCOQMKTOP)
 	cd bin; ln -sf coqmktop.$(BEST)$(EXE) coqmktop$(EXE)
 
 
@@ -465,7 +465,7 @@ $(COQCOPT): $(COQCCMX) $(COQTOPOPT) $(BESTCOQTOP)
 	$(SHOW)'OCAMLOPT -o $@'
 	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -o $@ unix.cmxa $(COQCCMX) $(OSDEPLIBS)
 
-$(COQC): $(BESTCOQC)
+$(COQC): | $(BESTCOQC)
 	cd bin; ln -sf coqc.$(BEST)$(EXE) coqc$(EXE)
 
 
-- 
cgit v1.2.3