From bb7d9d0faa9232e6e7fd77680d96f925296e3921 Mon Sep 17 00:00:00 2001
From: notin
Date: Wed, 30 Aug 2006 16:03:48 +0000
Subject: Modification du configure pour paramétrer les exécutables liés à la
 compilation C

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 44440ad27c..b71c7c5aa3 100644
--- a/Makefile
+++ b/Makefile
@@ -346,9 +346,6 @@ OBJSCMO=$(CONFIG) $(LIBREP) $(KERNEL) $(LIBRARY) $(PRETYPING) $(INTERP) \
 ###########################################################################
 
 CINCLUDES= -I $(CAMLHLIB)
-CC=gcc
-AR=ar
-RANLIB=ranlib
 
 ifeq ($(CAMLVERSION),OCAML307)
   CFLAGS=-fno-defer-pop -Wall -Wno-unused -DOCAML_307
@@ -1724,8 +1721,8 @@ depend: beforedepend dependp4 ml4filesml
 	  echo `$(CAMLP4DEPS) $$f` >> .depend; \
 	done
 # 5.  We express dependencies of .o files
-	gcc -MM $(CINCLUDES) kernel/byterun/*.c >> .depend
-	gcc -MM  $(CINCLUDES) kernel/byterun/*.c | sed -e 's/\.o/.d.o/' >> \
+	$(CC) -MM $(CINCLUDES) kernel/byterun/*.c >> .depend
+	$(CC) -MM  $(CINCLUDES) kernel/byterun/*.c | sed -e 's/\.o/.d.o/' >> \
                     .depend
 # 6. Finally, we erase the generated .ml files
 	rm -f $(ML4FILESML)
-- 
cgit v1.2.3