'make check' fails if there is a space in the filename

[Vincent Lefevre]

On 2015-11-13 16:41:21 +0100, Marc Glisse wrote:
> On Fri, 13 Nov 2015, Christopher Jefferson wrote:
> 
> >How about adding something similar to the following to GMP's configure
> >script (warning, not checked, not a configure expert), which would at
> >least produce a better error message to users?
> >
> >case `pwd` in
> > *\ *)
> >   AC_ERROR("can't build in a directory containing spaces")
> > ;;
> >esac
> 
> You would need several tests, for source, build and install
> directories (and possibly DESTDIR). But again, those should go to
> autoconf, automake, libtool, whereever the bug comes from. Adding it
> specifically to gmp does not seem very useful to me.

I agree. For instance, MPFR would need the same kind of test.
I've just reported a bug against libtool:

  http://debbugs.gnu.org/cgi/bugreport.cgi?bug=21910

-- 
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)