On Mon, 03 Aug 2015 12:10:40 -0600, Thavatchai Makphaibulchoke wrote: > Whereas the corresponding pattern in configure script does not quite > match the above ("gmp=.*2" vs "gmp=.*[02-9]") as shown here, [..] > Please let me know what you think about this discrepancy.
It's patched; cf. debian/patches/001-configure-gmp-version.patch > Regardless of how the configure script is created, I propose that we fix > configure.in (not the configure script) Is configure.in recreated during the build? Cheers, gregor -- .''`. Homepage: http://info.comodo.priv.at/ - OpenPGP key 0xBB3A68018649AA06 : :' : Debian GNU/Linux user, admin, and developer - https://www.debian.org/ `. `' Member of VIBE!AT & SPI, fellow of the Free Software Foundation Europe `- NP: Joan Baez: I Shall Be Released
signature.asc
Description: Digital Signature