building in 32-bit mode on Linux/s390x produces 64-bit mode binaries

[Torbjörn Granlund]

Bruno Haible <bruno at clisp.org> writes:

  On a Linux/s390x machine, a build of gmp-6.2.0, configured in the same way
  as dozens of other GNU packages to build 32-bit mode binaries, in fact
  produces 64-bit mode binaries.

  * The GMP version number, and if pre-packaged or patched then say so.

  6.2.0, unmodified, from the source tarball on ftp.gnu.org.

  * A test program that makes it possible for us to reproduce the bug. Include instructions on how to run the program.

  Build through
    $ ../configure --prefix=$HOME/prefix32 CC="gcc -m31"
    $ make
    $ make install
    $ cd $HOME/prefix32/lib; file libgmp.so.*.*

Please ignore this "bug report".  GMP works as intended and as
documented.

Mr Haible is on a crusade against how GMP handles ABI selection.

-- 
Torbjörn
Please encrypt, key id 0xC8601622