Re: libgmp: link to the correct shared library

[Paul Eggert]

On 7/23/20 5:00 PM, Bruno Haible wrote:

> If there is a problem with it, you can redirect the reports to bug-gnulib or me.

Thanks for volunteering; I may well take you up on that if Emacs starts using 
havelib.

One little problem I noticed when testing my attempts to test havelib and 
libgmp: './gnulib-tool --test havelib' fails on Ubuntu 18.04.4 x86-64, ending in:

make  check-TESTS
make[4]: Entering directory 
'/home/eggert/src/gnu/gnulib/testdir19615/build/gltests/havelib'
make[5]: Entering directory 
'/home/eggert/src/gnu/gnulib/testdir19615/build/gltests/havelib'
/bin/bash: /bin/bash: cannot execute binary file
Makefile:669: recipe for target 'rpath-1a.log' failed
make[5]: *** [rpath-1a.log] Error 126