On Mon, 03 Aug 2015 13:51:46 -0600, Thavatchai Makphaibulchoke wrote: > Thanks for the quick response.
You're welcome. Thanks for your investigations, which led further than my initial attempts :) > > It's patched; cf. > > debian/patches/001-configure-gmp-version.patch > I see. Looks like the patch patched the file configure, not configure.in. Right, presumably because ... > >> 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? > I don't believe so. ... of that. > Looks like at this point configure.in and configure has diverged (as > mentioned in my previous email "aotuconf configure.in" does not geneate > the include configure script, this could also ossibly due to different > autoconf version), it is probably safer to patch the configure script. Yeah, not elegant but probably the safest way forward now. > I'm going to submit a patch for the configure script and debian/rules next. Thanks! > Please let me now if you have any other comments or suggestions. Sounds good to me. 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: Janis Joplin: Tell Mama
signature.asc
Description: Digital Signature
