'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