Bruno Haible <br...@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
_______________________________________________
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs

Reply via email to