ARM codegen ported to new ABI + VFD floats

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1692 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 2 insertions, 2 deletions

diff --git a/configure b/configure
index 5744c54..da2e59f 100755
--- a/configure
+++ b/configure
@@ -32,7 +32,7 @@ usage='Usage: ./configure [options] target
 Supported targets:
   ppc-macosx       (PowerPC, MacOS X)
   ppc-linux        (PowerPC, Linux)
-  arm-linux        (ARM, Linux)
+  arm-linux        (ARM, Linux EABI)
   ia32-linux       (x86 32 bits, Linux)
   ia32-bsd         (x86 32 bits, BSD)
   ia32-macosx      (x86 32 bits, MacOS X)
@@ -91,7 +91,7 @@ case "$target" in
     variant="linux"
     system="linux"
     cc="gcc"
-    cprepro="gcc -U__GNUC__ -E"
+    cprepro="gcc -U__GNUC__ '-D__REDIRECT(name,proto,alias)=name proto' '-D__REDIRECT_NTH(name,proto,alias)=name proto' -E"
     casm="gcc -c"
     clinker="gcc"
     libmath="-lm"