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
