From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 14 Feb 2020 16:31:52 GMT
Subject: Re: How to force configure script to use curl ?
Message-ID: <xmqqh7ztp1tz.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <20200214061714.GA605125@coredump.intra.peff.net>

Jeff King <peff@peff.net> writes:

> But our use of autoconf is not very extensive, and in fact most
> developers do not use it at all. If you know you want curl, you're
> better off just overriding it explicitly with the Makefile knob:
>
>   make NO_CURL=
>
> or:
>
>   echo NO_CURL= >>config.mak
>   make
>
> Either of those will override the NO_CURL setting done by the configure
> script (you can see the full list of knobs set by configure in
> config.mak.autogen).

Heh, I didn't even know that things were expected to work if you
further tweak ./configure generated settings.  

You are correct to point out that our use of autoconf is merely is
an afterthought ;-), and the list of knobs near the top of Makefile
is more authoritative and fresh than what configure.in knows about.

Thanks.