On 04/09/2014 08:47 AM, Christian Maeder wrote: > Hi, > > I've sent the following report to gmp-b...@gmplib.org, but it may well > be an autoconf problem.
Thanks for the report. > > Calling "/bin/bash ./configure" causes "SHELL" to (wrongly) become > "/bin/sh" (for https://gmplib.org/download/gmp/gmp-6.0.0a.tar.xz). Per the INSTALL document shipped by autoconf (and probably copied into lots of projects verbatim): Unfortunately, this technique does not work for 'CONFIG_SHELL' due to an Autoconf limitation. Until the limitation is lifted, you can use this workaround: CONFIG_SHELL=/bin/bash ./configure CONFIG_SHELL=/bin/bash Running ./configure under an alternate shell, with the goal of having that shell percolate through uses of $SHELL, requires that you set CONFIG_SHELL for the duration of the configure run. You're welcome to try and patch autoconf to behave more sanely for the future, but that won't help all the existing configure scripts created with current autoconf versions; so even if you patch autoconf, the recommendation will still be to use CONFIG_SHELL when using a different shell than /bin/sh and wanting it to stick. -- Eric Blake eblake redhat com +1-919-301-3266 Libvirt virtualization library http://libvirt.org
signature.asc
Description: OpenPGP digital signature
