'make check' fails if there is a space in the filename
Vincent Lefevre
vincent at vinc17.net
Thu Nov 12 15:10:33 UTC 2015
On 2015-11-11 13:08:00 +0100, Marc Glisse wrote:
> Seems that the problem is entirely inside libtool, maybe you should
> report it there? (they might just answer that it isn't supported)
There have been several discussions in the past, including Debian bug
reports:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=193163
The summary is that:
1. This is not supported.
2. There are existing patches, but very incomplete.
3. This is a very complex issue due to the way Bourne/POSIX-compatible
shells work, and it will probably never be fixed, in particular
because a proper fix would slow things down for everyone.
4. Rewriting libtool in some other scripting language could be a way
to solve this space issue, but then the actual problem is that the
configure shell script needs to contain a part of libtool.
--
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
More information about the gmp-bugs
mailing list