diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-04-19 08:29:17 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-04-19 08:29:17 +0000 |
| commit | 1233298563ffb1d2b72a7caecd0c6c4e275100eb (patch) | |
| tree | 2269428bee339f9344fbbf40426be328d00ac355 /caml/Driver.ml | |
| parent | c7a809eef32c277c7b7ccabcda4849f2e4b98326 (diff) | |
| download | compcert-1233298563ffb1d2b72a7caecd0c6c4e275100eb.tar.gz compcert-1233298563ffb1d2b72a7caecd0c6c4e275100eb.zip | |
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
Diffstat (limited to 'caml/Driver.ml')
| -rw-r--r-- | caml/Driver.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/caml/Driver.ml b/caml/Driver.ml index 09c4622a..659422e9 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 |