aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2016-08-05 14:37:27 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2016-08-05 14:37:27 +0200
commitf5b99eccf7a667fb017692da6712985445a6b0f4 (patch)
tree7dde526eaa03e19ccea810abe48be1dd18dbcc8a /configure
parent028aaefc44b8ed8bafd8b8896fedb53f6e68df3c (diff)
downloadcompcert-f5b99eccf7a667fb017692da6712985445a6b0f4.tar.gz
compcert-f5b99eccf7a667fb017692da6712985445a6b0f4.zip
Changed configure target for arm big endian.
Instead of an addition -little or -big at the end the configure script now accepts armeb* for the big endian arm targets. Bug 19418
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure39
1 files changed, 12 insertions, 27 deletions
diff --git a/configure b/configure
index dd729844..1b93e3ca 100755
--- a/configure
+++ b/configure
@@ -31,6 +31,10 @@ Supported targets:
arm-linux (ARM, EABI)
arm-eabihf (ARM, EABI using hardware FP registers)
arm-hardfloat (ARM, EABI using hardware FP registers)
+ armeb-eabi (ARM, EABI big endian)
+ armeb-linux (ARM, EABI big endian)
+ armeb-eabihf (ARM, EABI using hardware FP registers big endian)
+ armeb-hardfloat (ARM, EABI using hardware FP registers big endian)
ia32-linux (x86 32 bits, Linux)
ia32-bsd (x86 32 bits, BSD)
ia32-macosx (x86 32 bits, MacOS X)
@@ -103,6 +107,14 @@ case "$target" in
arch="arm"; model="armv7r"; endianness="little";;
armv7m-*)
arch="arm"; model="armv7m"; endianness="little";;
+ armeb-*|armebv7a-*)
+ arch="arm"; model="armv7a"; endianness="big";;
+ armebv6-*)
+ arch="arm"; model="armv6"; endianness="big";;
+ armebv7r-*)
+ arch="arm"; model="armv7r"; endianness="big";;
+ armebv7m-*)
+ arch="arm"; model="armv7m"; endianness="big";;
ia32-*)
arch="ia32"; model="sse2"; endianness="little";;
powerpc-*|ppc-*)
@@ -128,33 +140,6 @@ esac
target=${target#[a-zA-Z0-9]*-}
-#
-# ARM: Optional Endianness Specification
-#
-if test "$arch" = "arm"; then
- case "$target" in
- *-big)
- endianness="big";
- target=${target%"-big"}
- ;;
- *-little)
- endianness="little";
- target=${target%"-little"}
- ;;
- esac
-else
- case "$target" in
- *-big|*-little)
- echo "Error: endianness may only be specified for ARM architecture." 1>&2
- echo "$usage" 1>&2
- exit 2
- ;;
- *)
- ;;
- esac
-fi
-
-
# Per-target configuration
asm_supports_cfi=""
casm_options=""