Re: GnuTLS/TLS proposals for after the release

[Ted Zlatanov]

On Wed, 20 Jul 2016 16:21:37 +0200 Paul Eggert <address@hidden> wrote: 

PE> On 07/20/2016 03:14 PM, Ted Zlatanov wrote:
SM> Another step in the same direction is to make ./configure fail if
SM> libgnutls is not found.
>> 
>> That's a one-line change IIRC, so it just needs the OK from John or Eli
>> (since it's a pretty major change).

PE> It's not that big a deal to treat libgnutls like other key libraries. 
Namely,
PE> 'configure' fails if the library is missing, unless you specifically say you
PE> don't want the library by configuring with the --with-gnutls=no option.
PE> Something like the attached patch, say.

Hi Paul. The patch looks OK to me. I'm not sure why you introduce
MISSING and WITH_NO at the top level, but I don't know autoconf well. If
you push it, I can document the change.

Thanks
Ted