From 1233298563ffb1d2b72a7caecd0c6c4e275100eb Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 19 Apr 2008 08:29:17 +0000
Subject: Compilo C, preprocesseur, assembleur sont determines par configure et
 mis dans Makefile.config

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@622 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 caml/Driver.ml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'caml/Driver.ml')

diff --git a/caml/Driver.ml b/caml/Driver.ml
index 09c4622..659422e 100644
--- a/caml/Driver.ml
+++ b/caml/Driver.ml
@@ -98,7 +98,8 @@ module Cil2CsyntaxTranslator = Cil2Csyntax.Make(TypeSpecifierTranslator)
 
 let preprocess ifile ofile =
   let cmd =
-    sprintf "gcc -arch ppc -D__COMPCERT__ -I%s %s -E %s > %s"
+    sprintf "%s -D__COMPCERT__ -I%s %s %s > %s"
+      Configuration.prepro
       !stdlib_path
       (quote_options !prepro_options)
       ifile ofile in
@@ -190,8 +191,8 @@ let compile_cminor_file ifile ofile =
 
 let assemble ifile ofile =
   let cmd =
-    sprintf "gcc -arch ppc -c -o %s %s"
-      ofile ifile in
+    sprintf "%s -o %s %s"
+      Configuration.asm ofile ifile in
   let retcode = command cmd in
   if not !option_dasm then safe_remove ifile;
   if retcode <> 0 then begin
@@ -204,7 +205,8 @@ let assemble ifile ofile =
 
 let linker exe_name files =
   let cmd =
-    sprintf "gcc -arch ppc -o %s %s -L%s -lcompcert"
+    sprintf "%s -o %s %s -L%s -lcompcert"
+      Configuration.linker
       (Filename.quote exe_name)
       (quote_options files)
       !stdlib_path in
-- 
cgit v1.2.3