From 400338c7686dfe864c024e14f832997eafd3f9f3 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 17 Sep 2006 15:52:17 +0000
Subject: Preprocesser en definissant __ppc__ (utile pour l'emulation
 MacOSX/Intel)

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@109 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 caml/Main2.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'caml')

diff --git a/caml/Main2.ml b/caml/Main2.ml
index 26301475..adb74396 100644
--- a/caml/Main2.ml
+++ b/caml/Main2.ml
@@ -47,7 +47,7 @@ let save_csyntax = ref false
 let preprocess file =
   let temp = Filename.temp_file "compcert" ".i" in
   let cmd =
-    sprintf "gcc %s -D__COMPCERT__ -E %s > %s"
+    sprintf "gcc %s -D__COMPCERT__ -D__ppc__ -E %s > %s"
       (String.concat " " (List.rev !prepro_options))
       file
       temp in
-- 
cgit