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 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
