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

Attachment: signature.asc
Description: Digital Signature

Reply via email to