New sub-target: arm-hardfloat

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

1 files changed, 11 insertions, 0 deletions

diff --git a/configure b/configure
index b7f66fe..c7e7847 100755
--- a/configure
+++ b/configure
@@ -27,6 +27,8 @@ Supported targets:
   ppc-eabi-diab    (PowerPC, EABI with Diab tools)
   arm-linux        (ARM, EABI)
   arm-eabi         (ARM, EABI)
+  arm-eabihf       (ARM, EABI with hardware floating point)
+  arm-hardfloat    (ARM, EABI with hardware floating point)
   ia32-linux       (x86 32 bits, Linux)
   ia32-bsd         (x86 32 bits, BSD)
   ia32-macosx      (x86 32 bits, MacOS X)
@@ -101,6 +103,15 @@ case "$target" in
     casm="${toolprefix}gcc -c"
     clinker="${toolprefix}gcc"
     libmath="-lm";;
+  arm-eabihf|arm-hardfloat)
+    arch="arm"
+    variant="hardfloat"
+    system="linux"
+    cc="${toolprefix}gcc"
+    cprepro="${toolprefix}gcc -U__GNUC__ '-D__REDIRECT(name,proto,alias)=name proto' '-D__REDIRECT_NTH(name,proto,alias)=name proto' -E"
+    casm="${toolprefix}gcc -c"
+    clinker="${toolprefix}gcc"
+    libmath="-lm";;
   ia32-linux)
     arch="ia32"
     variant="standard"