From 18fcf2ffef8b4ba5eb0624b15371e93b4ac88cfe Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Mon, 8 Aug 2016 13:43:33 +0200 Subject: update help text in configure script --- configure | 27 ++++++++++++++------------- 1 file changed, 14 insertions(+), 13 deletions(-) diff --git a/configure b/configure index ec5d2748..379ecd16 100755 --- a/configure +++ b/configure @@ -27,14 +27,14 @@ Supported targets: ppc-eabi (PowerPC, EABI with GNU/Unix tools) ppc-eabi-diab (PowerPC, EABI with Diab tools) ppc-linux (PowerPC, Linux) - arm-eabi (ARM, EABI) - 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) + arm-eabi (ARM, EABI, little endian) + arm-linux (ARM, EABI, little endian) + arm-eabihf (ARM, EABI using hardware FP registers, little endian) + arm-hardfloat (ARM, EABI using hardware FP registers, little endian) + 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) @@ -45,15 +45,16 @@ For PowerPC targets, the "ppc-" prefix can be refined into: ppc64- PowerPC 64 bits e5500- Freescale e5500 core (PowerPC 64 bit, EREF extensions) -For ARM targets, the "arm-" prefix can be refined into: +For ARM targets, the "arm-" or "armeb-" prefix can be refined into: armv6- ARMv6 + VFPv2 - armv7a- ARMv7-A + VFPv3-d16 (default) + armv7a- ARMv7-A + VFPv3-d16 (default for arm-) armv7r- ARMv7-R + VFPv3-d16 armv7m- ARMv7-M + VFPv3-d16 -For ARM targets, the endianness can optionally be speficied as a suffix: - -big Big endian - -little Little endian (default) + armebv6- ARMv6 + VFPv2 + armebv7a- ARMv7-A + VFPv3-d16 (default for armeb-) + armebv7r- ARMv7-R + VFPv3-d16 + armebv7m- ARMv7-M + VFPv3-d16 Options: -prefix Install in /bin and /lib/compcert -- cgit