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

@@ -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