Hi,
On Mi, 2019-02-13 at 11:56 +0100, Remi Collet wrote:
> Hi,
>
>
> Terribly old and known issue.
>
> libreadline license (GPL) is incompatible with PHP
>
> We support build with libedit (BSD) for years
>
> Most Linux distribution use libedit
> Windows also use libedit
>
>
> So, this PR is mostly a cleanup of what should have been removed for
> years.
>
I don't know the size of the patch for this, but as long as we are not
using readline-specific APIs isn't it the user's choice/responsibility
if they happen to link to readline? - As long as that isn't
distributed, but only for their own use it's fine. GPL limits
"redistribution" not "usage"
It is a while since I used libedit last, but in behavior it had notable
differences.
johannes