I wrote:
> Robert Haas <robertmhaas@gmail.com> writes:
>> On Wed, Dec 11, 2019 at 10:52 AM Tom Lane <tgl@sss.pgh.pa.us> wrote:
>>> I think it's Debian's problem, not ours, if that doesn't work. It is
>>> not unreasonable for a package to probe existence of a library function
>>> at configure time. It's up to them to make sure that the headers match
>>> the actual library.
>> That seems like an unhelpful attitude. Debian is a mainstream
>> platform, and no doubt feels that they have important reasons for what
>> they are doing.
Actually, this argument is based on a false premise anyhow. I took
a look into Debian's source package, and AFAICS they are not doing
anything as weird as a run-time substitution. They are just filling
the build environment with libedit-dev not libreadline-dev. So that
is certainly a supported configuration from our side, and if there
is any header-to-library discrepancy then it's just a simple bug
in the libedit package.
(Maybe at one time they were doing something weird; I didn't look
back further than the current sources for PG 12.)
regards, tom lane