From c58233b2820e6341a8077cf4bf6e3e5b15d1cbf5 Mon Sep 17 00:00:00 2001 From: xleroy Date: Tue, 19 Aug 2014 13:47:39 +0000 Subject: Rename "-fthumb" option into "-mthumb" for GCC compatibility. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2572 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- configure | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'configure') diff --git a/configure b/configure index 603b30a..a47b59d 100755 --- a/configure +++ b/configure @@ -36,10 +36,10 @@ Supported targets: manual (edit configuration file by hand) For ARM targets, the "arm-" prefix can be refined into: - armv6- ARMv6 + VFPv2 - armv7a- ARMv7a + VFPv3-d16 (default) - armv7r- ARMv7r + VFPv3-d16 - armv7m- ARMv7m + VFPv3-d16 + armv6- ARMv6 + VFPv2 + armv7a- ARMv7-A + VFPv3-d16 (default) + armv7r- ARMv7-R + VFPv3-d16 + armv7m- ARMv7-M + VFPv3-d16 Options: -prefix Install in /bin and /lib/compcert -- cgit v1.2.3