diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-05 14:37:27 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-05 14:37:27 +0200 |
commit | f5b99eccf7a667fb017692da6712985445a6b0f4 (patch) | |
tree | 7dde526eaa03e19ccea810abe48be1dd18dbcc8a | |
parent | 028aaefc44b8ed8bafd8b8896fedb53f6e68df3c (diff) | |
download | compcert-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
-rwxr-xr-x | configure | 39 |
1 files changed, 12 insertions, 27 deletions
@@ -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="" |