From 08cb37edb71af0301a72acc834d50f24b0733db5 Mon Sep 17 00:00:00 2001
From: barras
Date: Mon, 15 Nov 2004 11:32:24 +0000
Subject: bug coqmktop avec libcoqrun.a en bytecode

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index fcbccba227..2c88693ab4 100644
--- a/Makefile
+++ b/Makefile
@@ -405,7 +405,8 @@ $(COQMKTOP): $(COQMKTOPCMO)
 
 scripts/tolink.ml: Makefile
 	$(SHOW)"ECHO... >" $@
-	$(HIDE)echo "let core_libs = \""$(LIBCOQRUN) $(LINKCMO)"\"" > $@
+	$(HIDE)echo "let copts = \"-cclib -lcoqrun\"" > $@
+	$(HIDE)echo "let core_libs = \""$(LINKCMO)"\"" >> $@
 	$(HIDE)echo "let core_objs = \""$(OBJSCMO)"\"" >> $@
 	$(HIDE)echo "let ide = \""$(COQIDECMO)"\"" >> $@
 
-- 
cgit v1.2.3