Correct build-many-glibcs.py arm-linux-gnueabihf configurations.

The conventional configure triplet for ARM GNU/Linux with hard-float
ABI is arm-*-linux-gnueabihf.  However, GCC does not automatically use
the hard-float ABI based on that triplet.  This patch fixes
build-many-glibcs.py to pass --with-float=hard so that the
arm-linux-gnueabihf configurations actually build with the intended
ABI.

Tested building the affected configurations with build-many-glibcs.py.

	* scripts/build-many-glibcs.py (Context.add_all_configs): Use
	--with-float=hard for arm-linux-gnueabihf configurations.

diff --git a/ChangeLog b/ChangeLog
index 35c258cc1f4b7c065e740ced179636aa0667a39e..00161628c549164b6b194f881caa514352aed131 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2017-12-15  Joseph Myers  <joseph@codesourcery.com>
 
+       * scripts/build-many-glibcs.py (Context.add_all_configs): Use
+       --with-float=hard for arm-linux-gnueabihf configurations.
+
        [BZ #14121]
        * po/Makefile (generated): Add $(ALL_LINGUAS:%=%.mo).
        (%.mo): Change to $(objpfx)%.mo.  Use $(make-target-directory).

diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
index 599e12e355c3ff5e56e6405202b443ac79805c5c..5453000df02f66da06bd87657c77a1be0f3f5de0 100755 (executable)
--- a/scripts/build-many-glibcs.py
+++ b/scripts/build-many-glibcs.py
@@ -175,17 +175,19 @@ class Context(object):
                         gcc_cfg=['--with-arch=armv7-a'])
         self.add_config(arch='arm',
                         os_name='linux-gnueabihf',
+                        gcc_cfg=['--with-float=hard'],
                         extra_glibcs=[{'variant': 'v7a',
                                        'ccopts': '-march=armv7-a'},
                                       {'variant': 'v7a-disable-multi-arch',
                                        'ccopts': '-march=armv7-a',
                                        'cfg': ['--disable-multi-arch']}])
         self.add_config(arch='armeb',
-                        os_name='linux-gnueabihf')
+                        os_name='linux-gnueabihf',
+                        gcc_cfg=['--with-float=hard'])
         self.add_config(arch='armeb',
                         os_name='linux-gnueabihf',
                         variant='be8',
-                        gcc_cfg=['--with-arch=armv7-a'])
+                        gcc_cfg=['--with-float=hard', '--with-arch=armv7-a'])
         self.add_config(arch='hppa',
                         os_name='linux-gnu')
         self.add_config(arch='ia64',