From 71cdba7cd8ac9593d46490e62d7f5ff470bddaa3 Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 24 Apr 2001 11:47:14 +0000
Subject: bin/coqtop est un lien vers bin/coqtop.$(BEST)

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 27c51a5a4..2dcf8cca9 100644
--- a/Makefile
+++ b/Makefile
@@ -216,9 +216,11 @@ COQC=bin/coqc$(EXE)
 COQTOPBYTE=bin/coqtop.byte$(EXE)
 COQTOPOPT=bin/coqtop.opt$(EXE)
 BESTCOQTOP=bin/coqtop.$(BEST)$(EXE)
+COQTOP=bin/coqtop$(EXE)
 COQINTERFACE=bin/coq-interface$(EXE) bin/parser
 
-COQBINARIES= $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BESTCOQTOP) $(COQINTERFACE) 
+COQBINARIES= $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BESTCOQTOP) $(COQTOP) \
+             $(COQINTERFACE) 
 
 world: $(COQBINARIES) states theories contrib tools
 
@@ -229,6 +231,9 @@ $(COQTOPOPT): $(COQMKTOP) $(CMX) $(USERTACCMX)
 $(COQTOPBYTE): $(COQMKTOP) $(CMO) $(USERTACCMO)
 	$(COQMKTOP) -top $(INCLUDES) $(CAMLDEBUG) -o $@
 
+$(COQTOP):
+	cd bin; ln -sf coqtop.$(BEST)$(EXE) coqtop$(EXE)
+
 # coqmktop 
 
 COQMKTOPCMO=$(CONFIG) scripts/tolink.cmo scripts/coqmktop.cmo 
-- 
cgit v1.2.3