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).

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